Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
444 workflow runs
444 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tlaplus-dispatch Check Specs & Metadata #1037: Repository dispatch triggered by lemmy
1h 28m 13s
1h 28m 13s
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. (#193) Check Specs & Metadata #1036: Commit 3673694 pushed by lemmy
1h 31m 48s master
master
1h 31m 48s
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. Check Specs & Metadata #1035: Pull request #193 synchronize by lemmy
1h 24m 46s mku-EWD998_AI_animation
mku-EWD998_AI_animation
1h 24m 46s
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. Check Specs & Metadata #1034: Pull request #193 synchronize by lemmy
24m 11s mku-EWD998_AI_animation
mku-EWD998_AI_animation
24m 11s
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. Check Specs & Metadata #1033: Pull request #193 synchronize by lemmy
13m 4s mku-EWD998_AI_animation
mku-EWD998_AI_animation
13m 4s
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
Copilot code review Copilot code review #1: by Copilot AI
5m 11s refs/pull/193/head
refs/pull/193/head
5m 11s
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. Check Specs & Metadata #1032: Pull request #193 opened by lemmy
14m 4s mku-EWD998_AI_animation
mku-EWD998_AI_animation
14m 4s
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
tlaplus-dispatch Check Specs & Metadata #1031: Repository dispatch triggered by lemmy
1h 17m 24s
1h 17m 24s
tlaplus-dispatch Check Specs & Metadata #1030: Repository dispatch triggered by lemmy
1h 13m 40s
1h 13m 40s
tlaplus-dispatch Check Specs & Metadata #1029: Repository dispatch triggered by lemmy
1h 13m 47s
1h 13m 47s
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
26m 39s master
master
26m 39s
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