Skip to content

Actions: tlaplus/Examples

Actions

Check Specs & Metadata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
390 workflow runs
390 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tlaplus-dispatch Check Specs & Metadata #1065: Repository dispatch triggered by lemmy
1h 29m 50s
1h 29m 50s
tlaplus-dispatch Check Specs & Metadata #1064: Repository dispatch triggered by lemmy
21m 19s
21m 19s
tlaplus-dispatch Check Specs & Metadata #1063: Repository dispatch triggered by lemmy
1h 25m 9s
1h 25m 9s
tlaplus-dispatch Check Specs & Metadata #1062: Repository dispatch triggered by lemmy
1h 22m 3s
1h 22m 3s
tlaplus-dispatch Check Specs & Metadata #1061: Repository dispatch triggered by lemmy
1h 38m 21s
1h 38m 21s
Add "dag-based consensus" (#198) Check Specs & Metadata #1060: Commit 05c7256 pushed by ahelwer
27m 15s master
master
27m 15s
Add "dag-based consensus" Check Specs & Metadata #1059: Pull request #198 synchronize by nano-o
1h 26m 20s nano-o:master
nano-o:master
1h 26m 20s
Add "dag-based consensus" Check Specs & Metadata #1058: Pull request #198 synchronize by nano-o
1h 19m 1s nano-o:master
nano-o:master
1h 19m 1s
Add "dag-based consensus" Check Specs & Metadata #1057: Pull request #198 opened by nano-o
1h 15m 3s nano-o:master
nano-o:master
1h 15m 3s
tlaplus-dispatch Check Specs & Metadata #1056: Repository dispatch triggered by lemmy
1h 22m 17s
1h 22m 17s
fixed failing proof in byzpaxos/VoteProof (#197) Check Specs & Metadata #1055: Commit 00eb5b4 pushed by muenchnerkindl
1h 37m 38s master
master
1h 37m 38s
tlaplus-dispatch Check Specs & Metadata #1054: Repository dispatch triggered by lemmy
1h 2m 51s
1h 2m 51s
fixed failing proof in byzpaxos/VoteProof Check Specs & Metadata #1053: Pull request #197 opened by muenchnerkindl
1h 51m 57s fixproof
fixproof
1h 51m 57s
tlaplus-dispatch Check Specs & Metadata #1052: Repository dispatch triggered by lemmy
1h 28m 40s
1h 28m 40s
Add community modules path argument to proof checking script Check Specs & Metadata #1051: Commit dc25f34 pushed by lemmy
1h 36m 48s master
master
1h 36m 48s
Logically revert: "Replace Functions and FunctionTheorems with Fork variants Check Specs & Metadata #1050: Pull request #196 synchronize by lemmy
1h 32m 19s mku-forks
mku-forks
1h 32m 19s
tlaplus-dispatch Check Specs & Metadata #1049: Repository dispatch triggered by lemmy
3m 7s
3m 7s
Logically revert: "Replace Functions and FunctionTheorems with Fork variants Check Specs & Metadata #1048: Pull request #196 opened by lemmy
30m 28s mku-forks
mku-forks
30m 28s
Add SlidingPuzzles animation specification Check Specs & Metadata #1047: Commit c7dc34e pushed by lemmy
1h 32m 1s master
master
1h 32m 1s
Add SlidingPuzzles animation specification Check Specs & Metadata #1046: Pull request #195 synchronize by lemmy
1h 50m 42s mku-anims
mku-anims
1h 50m 42s
Add SlidingPuzzles animation specification Check Specs & Metadata #1045: Pull request #195 synchronize by lemmy
2m 15s mku-anims
mku-anims
2m 15s
Add SlidingPuzzles animation specification Check Specs & Metadata #1044: Pull request #195 synchronize by lemmy
26m 54s mku-anims
mku-anims
26m 54s
Add SlidingPuzzles animation specification Check Specs & Metadata #1043: Pull request #195 synchronize by lemmy
1m 5s mku-anims
mku-anims
1m 5s
Add SlidingPuzzles animation specification Check Specs & Metadata #1042: Pull request #195 opened by lemmy
49s mku-anims
mku-anims
49s
tlaplus-dispatch Check Specs & Metadata #1041: Repository dispatch triggered by lemmy
1h 32m 12s
1h 32m 12s