Skip to content

Actions: tlaplus/Examples

Actions

Check Specs & Metadata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
387 workflow runs
387 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: use bash instead of python for proof checking Check Specs & Metadata #1028: Pull request #192 opened by ahelwer
44m 18s ahelwer:check-proofs-bash
ahelwer:check-proofs-bash
44m 18s
tlaplus-dispatch Check Specs & Metadata #1027: Repository dispatch triggered by lemmy
1h 8m 22s
1h 8m 22s
CI: check all proofs without time limit (#191) Check Specs & Metadata #1026: Commit c2641e6 pushed by ahelwer
1h 52m 38s master
master
1h 52m 38s
CI: check all proofs without time limit Check Specs & Metadata #1025: Pull request #191 synchronize by ahelwer
1h 16m 37s ahelwer:check-all-proofs
ahelwer:check-all-proofs
1h 16m 37s
tlaplus-dispatch Check Specs & Metadata #1024: Repository dispatch triggered by lemmy
29m 19s
29m 19s
CI: check all proofs without time limit Check Specs & Metadata #1023: Pull request #191 opened by ahelwer
27m 38s ahelwer:check-all-proofs
ahelwer:check-all-proofs
27m 38s
adapting proofs to modified FS_Induction theorem (#190) Check Specs & Metadata #1022: Commit dca6876 pushed by ahelwer
29m 12s master
master
29m 12s
adapting proofs to modified FS_Induction theorem Check Specs & Metadata #1021: Pull request #190 synchronize by muenchnerkindl
27m 5s fs_induction
fs_induction
27m 5s
adapting proofs to modified FS_Induction theorem Check Specs & Metadata #1020: Pull request #190 synchronize by muenchnerkindl
25m 25s fs_induction
fs_induction
25m 25s
adapting proofs to modified FS_Induction theorem Check Specs & Metadata #1019: Pull request #190 synchronize by muenchnerkindl
25m 27s fs_induction
fs_induction
25m 27s
adapting proofs to modified FS_Induction theorem Check Specs & Metadata #1018: Pull request #190 synchronize by muenchnerkindl
27m 44s fs_induction
fs_induction
27m 44s
adapting proofs to modified FS_Induction theorem Check Specs & Metadata #1017: Pull request #190 synchronize by muenchnerkindl
28m 57s fs_induction
fs_induction
28m 57s
adapting proofs to modified FS_Induction theorem Check Specs & Metadata #1016: Pull request #190 synchronize by muenchnerkindl
28m 54s fs_induction
fs_induction
28m 54s
adapting proofs to modified FS_Induction theorem Check Specs & Metadata #1015: Pull request #190 synchronize by muenchnerkindl
29m 1s fs_induction
fs_induction
29m 1s
adapting proofs to modified FS_Induction theorem Check Specs & Metadata #1014: Pull request #190 opened by muenchnerkindl
33m 14s fs_induction
fs_induction
33m 14s
tlaplus-dispatch Check Specs & Metadata #1013: Repository dispatch triggered by lemmy
32m 20s
32m 20s
tlaplus-dispatch Check Specs & Metadata #1012: Repository dispatch triggered by lemmy
30m 39s
30m 39s
tlaplus-dispatch Check Specs & Metadata #1011: Repository dispatch triggered by lemmy
29m 46s
29m 46s
tlaplus-dispatch Check Specs & Metadata #1010: Repository dispatch triggered by lemmy
38m 24s
38m 24s
tlaplus-dispatch Check Specs & Metadata #1009: Repository dispatch triggered by lemmy
33m 39s
33m 39s
tlaplus-dispatch Check Specs & Metadata #1008: Repository dispatch triggered by lemmy
32m 26s
32m 26s
tlaplus-dispatch Check Specs & Metadata #1007: Repository dispatch triggered by lemmy
30m 55s
30m 55s
tlaplus-dispatch Check Specs & Metadata #1006: Repository dispatch triggered by lemmy
34m 49s
34m 49s
CI: remove community modules details from manifest Check Specs & Metadata #1005: Commit 0e018bc pushed by ahelwer
34m 5s master
master
34m 5s
Manifest: remove community module usage details Check Specs & Metadata #1004: Pull request #189 synchronize by ahelwer
32m 28s ahelwer:ci-remove-community
ahelwer:ci-remove-community
32m 28s