Skip to content

Actions: tlaplus/Examples

Actions

CI for EWD998 Trace Validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ewd998.yml
66 workflow runs
66 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refine EWD998 animation formatting and the modules documentation. (#193) CI for EWD998 Trace Validation #92: Commit 3673694 pushed by lemmy
8m 58s master
master
8m 58s
Refine EWD998 animation formatting and the modules documentation. CI for EWD998 Trace Validation #91: Pull request #193 synchronize by lemmy
14m 39s mku-EWD998_AI_animation
mku-EWD998_AI_animation
14m 39s
Refine EWD998 animation formatting and the modules documentation. CI for EWD998 Trace Validation #90: Commit 00399ce pushed by lemmy
9m 22s mku-EWD998_AI_animation
mku-EWD998_AI_animation
9m 22s
Refine EWD998 animation formatting and the modules documentation. CI for EWD998 Trace Validation #89: Pull request #193 synchronize by lemmy
10m 57s mku-EWD998_AI_animation
mku-EWD998_AI_animation
10m 57s
Refine EWD998 animation formatting and the modules documentation. CI for EWD998 Trace Validation #88: Commit 710029d pushed by lemmy
11m 27s mku-EWD998_AI_animation
mku-EWD998_AI_animation
11m 27s
Refine EWD998 animation formatting and the modules documentation. CI for EWD998 Trace Validation #87: Pull request #193 synchronize by lemmy
13m 6s mku-EWD998_AI_animation
mku-EWD998_AI_animation
13m 6s
Refine EWD998 animation formatting and the modules documentation. CI for EWD998 Trace Validation #86: Commit d15e37e pushed by lemmy
11m 57s mku-EWD998_AI_animation
mku-EWD998_AI_animation
11m 57s
Refine EWD998 animation formatting and the modules documentation. CI for EWD998 Trace Validation #85: Pull request #193 opened by lemmy
11m 21s mku-EWD998_AI_animation
mku-EWD998_AI_animation
11m 21s
Refine EWD998 animation formatting and the modules documentation. CI for EWD998 Trace Validation #84: Commit 5847501 pushed by lemmy
10m 33s mku-EWD998_AI_animation
mku-EWD998_AI_animation
10m 33s
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 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 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 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 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 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 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 CI for EWD998 Trace Validation #73: Commit 40d883d pushed by muenchnerkindl
11m 35s fs_induction
fs_induction
11m 35s
CI: remove community modules details from manifest CI for EWD998 Trace Validation #72: Commit 0e018bc pushed by ahelwer
12m 23s master
master
12m 23s
Manifest: remove community module usage details CI for EWD998 Trace Validation #71: Pull request #189 synchronize by ahelwer
13m 40s ahelwer:ci-remove-community
ahelwer:ci-remove-community
13m 40s
Manifest: remove community module usage details CI for EWD998 Trace Validation #70: Pull request #189 synchronize by ahelwer
11m 2s ahelwer:ci-remove-community
ahelwer:ci-remove-community
11m 2s
Manifest: remove community module usage details CI for EWD998 Trace Validation #69: Pull request #189 opened by ahelwer
16m 51s ahelwer:ci-remove-community
ahelwer:ci-remove-community
16m 51s
Replace Functions and FunctionTheorems with Fork variants CI for EWD998 Trace Validation #68: Commit 9ece37b pushed by lemmy
10m 4s master
master
10m 4s