Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
454 workflow runs
454 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Docs: added CONTRIBUTING.md and DEVELOPING.md Check Specs & Metadata #795: Pull request #164 synchronize by ahelwer
February 28, 2025 16:11 11m 3s ahelwer:docs
ahelwer:docs
February 28, 2025 16:11 11m 3s
Docs: added CONTRIBUTING.md and DEVELOPING.md Check Specs & Metadata #794: Pull request #164 synchronize by ahelwer
February 28, 2025 15:59 12m 23s ahelwer:docs
ahelwer:docs
February 28, 2025 15:59 12m 23s
Docs: added CONTRIBUTING.md and DEVELOPING.md Check Specs & Metadata #793: Pull request #164 synchronize by ahelwer
February 28, 2025 15:55 5m 19s ahelwer:docs
ahelwer:docs
February 28, 2025 15:55 5m 19s
Fixed (and simplified) proof in byzpaxos/Consensus.tla (#163) Check Specs & Metadata #792: Commit ddef39b pushed by ahelwer
February 28, 2025 15:06 22m 10s master
master
February 28, 2025 15:06 22m 10s
fixed (and simplified) proof in byzpaxos/Consensus.tla Check Specs & Metadata #791: Pull request #163 synchronize by muenchnerkindl
February 28, 2025 14:31 21m 33s fixByzPaxos
fixByzPaxos
February 28, 2025 14:31 21m 33s
fixed (and simplified) proof in byzpaxos/Consensus.tla Check Specs & Metadata #790: Pull request #163 synchronize by muenchnerkindl
February 28, 2025 08:07 21m 51s fixByzPaxos
fixByzPaxos
February 28, 2025 08:07 21m 51s
CI: terminate outdated CI runs Check Specs & Metadata #789: Commit e2fdd9c pushed by ahelwer
February 27, 2025 23:54 1h 43m 21s master
master
February 27, 2025 23:54 1h 43m 21s
CI: terminate outdated CI runs Check Specs & Metadata #788: Pull request #165 opened by ahelwer
February 27, 2025 23:49 1h 58m 41s ahelwer:ci-terminate-outdated
ahelwer:ci-terminate-outdated
February 27, 2025 23:49 1h 58m 41s
tlaplus-dispatch Check Specs & Metadata #787: Repository dispatch triggered by lemmy
February 27, 2025 23:44 1h 44m 28s
February 27, 2025 23:44 1h 44m 28s
Docs: added CONTRIBUTING.md and DEVELOPING.md Check Specs & Metadata #786: Pull request #164 opened by ahelwer
February 27, 2025 23:40 1h 12m 33s ahelwer:docs
ahelwer:docs
February 27, 2025 23:40 1h 12m 33s
tlaplus-dispatch Check Specs & Metadata #785: Repository dispatch triggered by lemmy
February 27, 2025 23:35 1h 40m 46s
February 27, 2025 23:35 1h 40m 46s
tlaplus-dispatch Check Specs & Metadata #784: Repository dispatch triggered by lemmy
February 27, 2025 23:34 1h 31m 51s
February 27, 2025 23:34 1h 31m 51s
tlaplus-dispatch Check Specs & Metadata #783: Repository dispatch triggered by lemmy
February 27, 2025 23:25 1h 19m 31s
February 27, 2025 23:25 1h 19m 31s
tlaplus-dispatch Check Specs & Metadata #782: Repository dispatch triggered by lemmy
February 27, 2025 23:15 1h 5m 0s
February 27, 2025 23:15 1h 5m 0s
tlaplus-dispatch Check Specs & Metadata #781: Repository dispatch triggered by lemmy
February 27, 2025 23:15 21m 35s
February 27, 2025 23:15 21m 35s
Fixed proof in LoopInvariance/BinarySearch.tla (#159) Check Specs & Metadata #780: Commit 3d76c4a pushed by ahelwer
February 27, 2025 20:29 21m 54s master
master
February 27, 2025 20:29 21m 54s
Fixed proof in TeachingConcurrency/SimpleRegular.tla (#162) Check Specs & Metadata #779: Commit e75b5b6 pushed by ahelwer
February 27, 2025 19:37 21m 37s master
master
February 27, 2025 19:37 21m 37s
Update CI.yml Check Specs & Metadata #778: Pull request #160 synchronize by muenchnerkindl
February 27, 2025 18:40 39m 13s fewer-skipped-proofs
fewer-skipped-proofs
February 27, 2025 18:40 39m 13s
Fix simple regular Check Specs & Metadata #777: Pull request #162 synchronize by muenchnerkindl
February 27, 2025 18:35 22m 50s fixSimpleRegular
fixSimpleRegular
February 27, 2025 18:35 22m 50s
Fix simple regular Check Specs & Metadata #776: Pull request #162 synchronize by muenchnerkindl
February 27, 2025 18:35 21m 55s fixSimpleRegular
fixSimpleRegular
February 27, 2025 18:35 21m 55s
Fixing broken proof in LearnProofs/FindHighest (#158) Check Specs & Metadata #775: Commit 0b3cfde pushed by ahelwer
February 27, 2025 17:23 22m 28s master
master
February 27, 2025 17:23 22m 28s
fixed (and simplified) proof in byzpaxos/Consensus.tla Check Specs & Metadata #774: Pull request #163 opened by muenchnerkindl
February 27, 2025 17:03 17m 39s fixByzPaxos
fixByzPaxos
February 27, 2025 17:03 17m 39s
Added --enable_assertions to pcal translate script Check Specs & Metadata #773: Commit 04b80a1 pushed by ahelwer
February 27, 2025 16:38 22m 43s master
master
February 27, 2025 16:38 22m 43s
Fix simple regular Check Specs & Metadata #772: Pull request #162 opened by muenchnerkindl
February 27, 2025 16:16 22m 0s fixSimpleRegular
fixSimpleRegular
February 27, 2025 16:16 22m 0s
Added --enable_assertions flag to pcal translate script Check Specs & Metadata #771: Pull request #161 synchronize by ahelwer
February 27, 2025 16:08 22m 48s ahelwer:enable-assertions-pcal
ahelwer:enable-assertions-pcal
February 27, 2025 16:08 22m 48s