Skip to content

Actions: azolotko/ihex

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 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
ihex_test Lean Action CI #8: Commit 3906663 pushed by azolotko
34s main
main
34s
MIT-0 Lean Action CI #7: Commit b61d728 pushed by azolotko
23s main
main
23s
ihex.test.driver Lean Action CI #6: Commit 835ce4b pushed by azolotko
28s main
main
28s
TestRunner -> TestDriver Lean Action CI #5: Commit 87d1f9d pushed by azolotko
25s main
main
25s
actions/checkout@v6 Lean Action CI #4: Commit 6442e4f pushed by azolotko
26s main
main
26s
Reshuffle stuff Lean Action CI #3: Commit 1018551 pushed by azolotko
24s main
main
24s
😁 Lean Action CI #2: Commit 5e1a8c6 pushed by azolotko
20s main
main
20s
Initial commit Lean Action CI #1: Commit 6e753a7 pushed by azolotko
20s main
main
20s