Skip to content

Actions: tlaplus/devkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Forward-ported ch3 changes to ch10 Build & Test #8: Commit b4e139f pushed by ahelwer
3m 5s main
main
3m 5s
Removed trailing space Build & Test #7: Commit 019a55a pushed by ahelwer
2m 29s main
main
2m 29s
Use instanceof pattern matching Build & Test #6: Commit 7d8c962 pushed by ahelwer
3m 27s main
main
3m 27s