Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
445 workflow runs
445 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) CI for EWD998 Trace Validation #83: Commit dca6876 pushed by ahelwer
10m 47s master
master
10m 47s
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 CI for EWD998 Trace Validation #82: Pull request #190 synchronize by muenchnerkindl
11m 0s fs_induction
fs_induction
11m 0s
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 CI for EWD998 Trace Validation #81: Pull request #190 synchronize by muenchnerkindl
11m 7s fs_induction
fs_induction
11m 7s
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 CI for EWD998 Trace Validation #80: Pull request #190 synchronize by muenchnerkindl
11m 44s fs_induction
fs_induction
11m 44s
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 CI for EWD998 Trace Validation #79: Pull request #190 synchronize by muenchnerkindl
11m 38s fs_induction
fs_induction
11m 38s
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 CI for EWD998 Trace Validation #78: Pull request #190 synchronize by muenchnerkindl
16m 35s fs_induction
fs_induction
16m 35s
longer timeouts for proofs CI for EWD998 Trace Validation #77: Commit 26a6887 pushed by muenchnerkindl
12m 1s fs_induction
fs_induction
12m 1s
adapting proofs to modified FS_Induction theorem CI for EWD998 Trace Validation #76: Pull request #190 synchronize by muenchnerkindl
10m 50s fs_induction
fs_induction
10m 50s
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 CI for EWD998 Trace Validation #75: Pull request #190 synchronize by muenchnerkindl
9m 55s fs_induction
fs_induction
9m 55s
adapting proofs to modified FS_Induction theorem CI for EWD998 Trace Validation #74: Pull request #190 opened by muenchnerkindl
10m 32s fs_induction
fs_induction
10m 32s
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