Skip to content

Actions: tlaplus/Examples

Actions

Check Specs & Metadata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
416 workflow runs
416 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tlaplus-dispatch Check Specs & Metadata #1155: Repository dispatch triggered by lemmy
54m 13s
54m 13s
Change loop step from 'l' to '1' in pseudo code comment of Bakery.tla Check Specs & Metadata #1154: Commit dc6470a pushed by lemmy
1h 5m 10s master
master
1h 5m 10s
Change loop step from 'l' to '1' in pseudo code comment of Bakery.tla Check Specs & Metadata #1153: Pull request #203 synchronize by josef-widder
1h 15m 18s josef-widder:patch-2
josef-widder:patch-2
1h 15m 18s
Change loop step from 'l' to '1' in pseudo code comment of Bakery.tla Check Specs & Metadata #1152: Pull request #203 opened by josef-widder
1h 12m 26s josef-widder:patch-2
josef-widder:patch-2
1h 12m 26s
tlaplus-dispatch Check Specs & Metadata #1151: Repository dispatch triggered by lemmy
1h 2m 8s
1h 2m 8s
tlaplus-dispatch Check Specs & Metadata #1150: Repository dispatch triggered by lemmy
1h 6m 19s
1h 6m 19s
tlaplus-dispatch Check Specs & Metadata #1149: Repository dispatch triggered by lemmy
1h 12m 28s
1h 12m 28s
tlaplus-dispatch Check Specs & Metadata #1148: Repository dispatch triggered by lemmy
1h 4m 37s
1h 4m 37s
tlaplus-dispatch Check Specs & Metadata #1147: Repository dispatch triggered by lemmy
1h 13m 22s
1h 13m 22s
tlaplus-dispatch Check Specs & Metadata #1146: Repository dispatch triggered by lemmy
1h 20m 58s
1h 20m 58s
Fall back to Apalache v0.52.2 if latest download fails Check Specs & Metadata #1145: Commit ec17f2a pushed by lemmy
58m 41s master
master
58m 41s
Fall back to Apalache v0.52.2 if latest download fails Check Specs & Metadata #1144: Pull request #202 synchronize by lemmy
1h 10m 18s mku-ApalacheDep
mku-ApalacheDep
1h 10m 18s
Fall back to Apalache v0.52.2 if latest download fails Check Specs & Metadata #1143: Pull request #202 opened by lemmy
11m 17s mku-ApalacheDep
mku-ApalacheDep
11m 17s
tlaplus-dispatch Check Specs & Metadata #1142: Repository dispatch triggered by lemmy
1h 10m 42s
1h 10m 42s
tlaplus-dispatch Check Specs & Metadata #1141: Repository dispatch triggered by lemmy
1h 4m 15s
1h 4m 15s
tlaplus-dispatch Check Specs & Metadata #1140: Repository dispatch triggered by lemmy
27m 53s
27m 53s
tlaplus-dispatch Check Specs & Metadata #1139: Repository dispatch triggered by lemmy
58m 56s
58m 56s
tlaplus-dispatch Check Specs & Metadata #1138: Repository dispatch triggered by lemmy
56m 53s
56m 53s
tlaplus-dispatch Check Specs & Metadata #1137: Repository dispatch triggered by lemmy
46m 3s
46m 3s
tlaplus-dispatch Check Specs & Metadata #1136: Repository dispatch triggered by lemmy
51m 13s
51m 13s
tlaplus-dispatch Check Specs & Metadata #1135: Repository dispatch triggered by lemmy
1h 0m 57s
1h 0m 57s
Add Deli Queue Example Check Specs & Metadata #1134: Pull request #201 synchronize by EricSpencer00
56m 5s EricSpencer00:master
EricSpencer00:master
56m 5s
Add Deli Queue Example Check Specs & Metadata #1133: Pull request #201 synchronize by EricSpencer00
Action required EricSpencer00:master
EricSpencer00:master
Action required
Add Deli Queue Example Check Specs & Metadata #1132: Pull request #201 synchronize by EricSpencer00
Action required EricSpencer00:master
EricSpencer00:master
Action required
Add Deli Queue Example Check Specs & Metadata #1131: Pull request #201 synchronize by EricSpencer00
Action required EricSpencer00:master
EricSpencer00:master
Action required