Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
457 workflow runs
457 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add SlidingPuzzles animation specification Check Specs & Metadata #1047: Commit c7dc34e pushed by lemmy
1h 32m 1s master
master
1h 32m 1s
Copilot code review Copilot code review #4: by Copilot AI
3m 39s refs/pull/195/head
refs/pull/195/head
3m 39s
Copilot code review Copilot code review #3: by Copilot AI
Queued refs/pull/195/head
refs/pull/195/head
Queued
Add SlidingPuzzles animation specification Check Specs & Metadata #1046: Pull request #195 synchronize by lemmy
1h 50m 42s mku-anims
mku-anims
1h 50m 42s
Add SlidingPuzzles animation specification Check Specs & Metadata #1045: Pull request #195 synchronize by lemmy
2m 15s mku-anims
mku-anims
2m 15s
Add SlidingPuzzles animation specification Check Specs & Metadata #1044: Pull request #195 synchronize by lemmy
26m 54s mku-anims
mku-anims
26m 54s
Add SlidingPuzzles animation specification Check Specs & Metadata #1043: Pull request #195 synchronize by lemmy
1m 5s mku-anims
mku-anims
1m 5s
Add SlidingPuzzles animation specification Check Specs & Metadata #1042: Pull request #195 opened by lemmy
49s mku-anims
mku-anims
49s
tlaplus-dispatch Check Specs & Metadata #1041: Repository dispatch triggered by lemmy
1h 32m 12s
1h 32m 12s
Add Tower of Hanoi animation (#194) Check Specs & Metadata #1040: Commit f1d4d49 pushed by lemmy
1h 27m 41s master
master
1h 27m 41s
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
2d 0h 0m 4s refs/pull/194/head
refs/pull/194/head
2d 0h 0m 4s
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