Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
448 workflow runs
448 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Tower of Hanoi animation (#194) Check Specs & Metadata #1040: Commit f1d4d49 pushed by lemmy
Queued master
master
Queued
Add Tower of Hanoi animation Check Specs & Metadata #1039: Pull request #194 synchronize by lemmy
1h 28m 31s mku-anims
mku-anims
1h 28m 31s
Copilot code review Copilot code review #2: by Copilot AI
Queued refs/pull/194/head
refs/pull/194/head
Queued
Add Tower of Hanoi animation Check Specs & Metadata #1038: Pull request #194 opened by lemmy
1m 7s mku-anims
mku-anims
1m 7s
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