Skip to content

Actions: opencompl/prover-shootout

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: implement ackermannization Build #10: Commit 7e10460 pushed by bollu
September 19, 2024 19:56 2m 32s main
main
September 19, 2024 19:56 2m 32s
chore: add first commit Build #9: Commit 441c947 pushed by bollu
August 21, 2024 22:52 2m 17s main
main
August 21, 2024 22:52 2m 17s
chore: add first commit Build #8: Commit 2151c27 pushed by bollu
August 21, 2024 22:39 1m 52s main
main
August 21, 2024 22:39 1m 52s
chore: add first commit Build #7: Commit d05fafb pushed by bollu
August 21, 2024 22:34 14s main
main
August 21, 2024 22:34 14s
chore: add CI run Build #6: Commit 412d16b pushed by bollu
August 21, 2024 22:16 13s main
main
August 21, 2024 22:16 13s
foo Build #5: Commit e7ec9fb pushed by bollu
August 21, 2024 22:14 11s main
main
August 21, 2024 22:14 11s
chore: use lean action Build #4: Commit 3d38751 pushed by bollu
August 21, 2024 22:13 23s main
main
August 21, 2024 22:13 23s
chore: add makefile Build #3: Commit bcc4e16 pushed by bollu
August 21, 2024 22:10 11s main
main
August 21, 2024 22:10 11s
chore: cleanup language Build #2: Commit c7873d3 pushed by bollu
August 21, 2024 22:03 14s main
main
August 21, 2024 22:03 14s
chore: fixup CI Build #1: Commit fd38b98 pushed by bollu
August 21, 2024 22:02 12s main
main
August 21, 2024 22:02 12s