Skip to content

Actions: tlaplus/devkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use instanceof pattern matching Build & Test #6: Commit 7d8c962 pushed by ahelwer
3m 27s main
main
3m 27s
Closures: created stub page Build & Test #5: Commit 3ee7c59 pushed by ahelwer
3m 16s main
main
3m 16s
Safety: explained BFS checker Build & Test #4: Commit 2ca9a82 pushed by ahelwer
3m 13s main
main
3m 13s
Safety: wrote introduction Build & Test #3: Commit c424898 pushed by ahelwer
2m 33s main
main
2m 33s
Specify Java 21 instead of 17 Build & Test #2: Commit 385f854 pushed by ahelwer
2m 44s main
main
2m 44s
Added CI workflow Build & Test #1: Commit fd3acea pushed by ahelwer
2m 49s main
main
2m 49s