Skip to content

Actions: akakabrian/agent-workflows

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 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
Lean proof CI Lean proof CI #17: Scheduled
4m 15s main
main
4m 15s
Lean proof CI Lean proof CI #16: Scheduled
4m 13s main
main
4m 13s
Lean proof CI Lean proof CI #15: Scheduled
4m 55s main
main
4m 55s
Lean proof CI Lean proof CI #14: Scheduled
4m 14s main
main
4m 14s
ci: expose W142 helper inventory in compiler log Lean proof CI #13: Commit 2688761 pushed by akakabrian
4m 35s wowii-146-proof
wowii-146-proof
4m 35s
ci: expose W142 helper inventory in compiler log Verify WOWII 146 Lean proof #20: Commit 2688761 pushed by akakabrian
4m 34s wowii-146-proof
wowii-146-proof
4m 34s
probe: inspect metric and induced-tree APIs Verify WOWII 146 Lean proof #19: Commit c738245 pushed by akakabrian
4m 18s wowii-146-proof
wowii-146-proof
4m 18s
probe: inspect metric and induced-tree APIs Lean proof CI #12: Commit c738245 pushed by akakabrian
4m 23s wowii-146-proof
wowii-146-proof
4m 23s
Goal: finish and kernel-check WOWII Conjecture 146 Lean proof CI #10: Pull request #1 synchronize by akakabrian
4m 14s wowii-146-proof
wowii-146-proof
4m 14s
Goal: finish and kernel-check WOWII Conjecture 146 CI #20: Pull request #1 synchronize by akakabrian
12s wowii-146-proof
wowii-146-proof
12s
Goal: finish and kernel-check WOWII Conjecture 146 Verify WOWII 146 Lean proof #17: Pull request #1 synchronize by akakabrian
4m 13s wowii-146-proof
wowii-146-proof
4m 13s
Goal: finish and kernel-check WOWII Conjecture 146 WOWII 146 proof CI #8: Pull request #1 synchronize by akakabrian
2m 5s wowii-146-proof
wowii-146-proof
2m 5s
ci: publish Lean compiler feedback on proof pushes Verify WOWII 146 Lean proof #16: Commit 5e9abb7 pushed by akakabrian
4m 27s wowii-146-proof
wowii-146-proof
4m 27s
ci: build imported Formal Conjectures modules before checking CI #19: Commit 006c2d8 pushed by akakabrian
13s main
main
13s
ci: build imported Formal Conjectures modules before checking Lean proof CI #9: Commit 006c2d8 pushed by akakabrian
4m 13s main
main
4m 13s
Goal: finish and kernel-check WOWII Conjecture 146 WOWII 146 proof CI #6: Pull request #1 synchronize by akakabrian
2m 4s wowii-146-proof
wowii-146-proof
2m 4s
Goal: finish and kernel-check WOWII Conjecture 146 Verify WOWII 146 Lean proof #14: Pull request #1 synchronize by akakabrian
2m 16s wowii-146-proof
wowii-146-proof
2m 16s
Goal: finish and kernel-check WOWII Conjecture 146 Lean proof CI #7: Pull request #1 synchronize by akakabrian
2m 12s wowii-146-proof
wowii-146-proof
2m 12s
Goal: finish and kernel-check WOWII Conjecture 146 CI #17: Pull request #1 synchronize by akakabrian
13s wowii-146-proof
wowii-146-proof
13s
probe: print graph-metric helper signatures Verify WOWII 146 Lean proof #13: Commit 32c52a2 pushed by akakabrian
2m 4s wowii-146-proof
wowii-146-proof
2m 4s
Goal: finish and kernel-check WOWII Conjecture 146 CI #16: Pull request #1 synchronize by akakabrian
11s wowii-146-proof
wowii-146-proof
11s
Goal: finish and kernel-check WOWII Conjecture 146 Lean proof CI #6: Pull request #1 synchronize by akakabrian
2m 9s wowii-146-proof
wowii-146-proof
2m 9s
Goal: finish and kernel-check WOWII Conjecture 146 WOWII 146 proof CI #5: Pull request #1 synchronize by akakabrian
2m 57s wowii-146-proof
wowii-146-proof
2m 57s
Goal: finish and kernel-check WOWII Conjecture 146 Verify WOWII 146 Lean proof #12: Pull request #1 synchronize by akakabrian
2m 7s wowii-146-proof
wowii-146-proof
2m 7s
build: pin proof harness to branch containing W142 helpers Verify WOWII 146 Lean proof #11: Commit a42c3e6 pushed by akakabrian
2m 6s wowii-146-proof
wowii-146-proof
2m 6s