Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
544 workflow runs
544 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add MultiPaxos Leader Leases spec Check Specs & Metadata #1419: Pull request #224 synchronize by josehu07
36m 5s josehu07:master
josehu07:master
36m 5s
Add MultiPaxos Leader Leases spec Check Specs & Metadata #1418: Pull request #224 synchronize by josehu07
33m 20s josehu07:master
josehu07:master
33m 20s
Add MultiPaxos Leader Leases spec Check Specs & Metadata #1417: Pull request #224 synchronize by josehu07
37m 10s josehu07:master
josehu07:master
37m 10s
Add MultiPaxos Leader Leases spec Check Specs & Metadata #1416: Pull request #224 reopened by josehu07
3m 43s josehu07:master
josehu07:master
3m 43s
Add MultiPaxos Leader Leases spec Check Specs & Metadata #1415: Pull request #224 synchronize by josehu07
3m 55s josehu07:master
josehu07:master
3m 55s
Add MultiPaxos Leader Leases spec Check Specs & Metadata #1414: Pull request #224 synchronize by josehu07
15s josehu07:master
josehu07:master
15s
tlaplus-dispatch Check Specs & Metadata #1413: Repository dispatch triggered by lemmy
24m 39s
24m 39s
tlaplus-dispatch Check Specs & Metadata #1412: Repository dispatch triggered by lemmy
29m 15s
29m 15s
tlaplus-dispatch Check Specs & Metadata #1411: Repository dispatch triggered by lemmy
29m 24s
29m 24s
tlaplus-dispatch Check Specs & Metadata #1410: Repository dispatch triggered by lemmy
28m 50s
28m 50s
tlaplus-dispatch Check Specs & Metadata #1409: Repository dispatch triggered by lemmy
29m 14s
29m 14s
tlaplus-dispatch Check Specs & Metadata #1408: Repository dispatch triggered by lemmy
27m 24s
27m 24s
tlaplus-dispatch Check Specs & Metadata #1407: Repository dispatch triggered by lemmy
15m 51s
15m 51s
Bump CCF submodule to 8575ce8fc Check Specs & Metadata #1406: Commit 6a7b26a pushed by lemmy
27m 27s master
master
27m 27s
WIP: Specs for continued fraction algorithms Check Specs & Metadata #1405: Pull request #235 synchronize by sr-murthy
1m 9s sr-murthy:continued-fractions
sr-murthy:continued-fractions
1m 9s
WIP: Specs for continued fraction algorithms Check Specs & Metadata #1404: Pull request #235 opened by sr-murthy
Action required sr-murthy:continued-fractions
sr-murthy:continued-fractions
Action required
tlaplus-dispatch Check Specs & Metadata #1403: Repository dispatch triggered by lemmy
28m 52s
28m 52s
tlaplus-dispatch Check Specs & Metadata #1402: Repository dispatch triggered by lemmy
30m 53s
30m 53s
tlaplus-dispatch Check Specs & Metadata #1401: Repository dispatch triggered by lemmy
36m 52s
36m 52s
tlaplus-dispatch Check Specs & Metadata #1400: Repository dispatch triggered by lemmy
34m 58s
34m 58s
tlaplus-dispatch Check Specs & Metadata #1399: Repository dispatch triggered by lemmy
30m 21s
30m 21s
tlaplus-dispatch Check Specs & Metadata #1398: Repository dispatch triggered by lemmy
33m 14s
33m 14s
tlaplus-dispatch Check Specs & Metadata #1397: Repository dispatch triggered by lemmy
32m 33s
32m 33s
tlaplus-dispatch Check Specs & Metadata #1396: Repository dispatch triggered by lemmy
32m 8s
32m 8s
tlaplus-dispatch Check Specs & Metadata #1395: Repository dispatch triggered by lemmy
34m 7s
34m 7s