Skip to content

Actions: argumentcomputer/ci-lab

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
155 workflow runs
155 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
Fixup Lean Action CI #37: Commit a3fe7fe pushed by samuelburnham
46s main
main
46s
Test Benchmark pull requests #18: Issue comment #95 (comment) created by samuelburnham
9m 34s
9m 34s
Test Lean Action CI #36: Pull request #95 synchronize by samuelburnham
41s test
test
41s
Fixup Lean Action CI #35: Commit 32c5051 pushed by samuelburnham
49s main
main
49s
Test Benchmark pull requests #17: Issue comment #95 (comment) created by samuelburnham
21s
21s
Test Benchmark pull requests #16: Issue comment #95 (comment) created by samuelburnham
22s
22s
Test Lean Action CI #34: Pull request #95 synchronize by samuelburnham
47s test
test
47s
Fixup Lean Action CI #33: Commit 02b90c9 pushed by samuelburnham
50s main
main
50s
Test Benchmark pull requests #15: Issue comment #95 (comment) created by samuelburnham
2m 10s
2m 10s
Test Lean Action CI #32: Pull request #95 synchronize by samuelburnham
1m 12s test
test
1m 12s
Fixup Lean Action CI #31: Commit 80adae0 pushed by samuelburnham
1m 16s main
main
1m 16s
Test Benchmark pull requests #14: Issue comment #95 (comment) created by samuelburnham
1m 15s
1m 15s
Test Benchmark pull requests #13: Issue comment #95 (comment) created by samuelburnham
2m 16s
2m 16s
Test Lean Action CI #30: Pull request #95 synchronize by samuelburnham
45s test
test
45s
Test Benchmark pull requests #12: Issue comment #95 (comment) created by samuelburnham
9m 58s
9m 58s
Test Lean Action CI #29: Pull request #95 synchronize by samuelburnham
51s test
test
51s
Fixup Lean Action CI #28: Commit 35e6f64 pushed by samuelburnham
49s main
main
49s
Test Benchmark pull requests #11: Issue comment #95 (comment) created by samuelburnham
1m 47s
1m 47s
Test Lean Action CI #27: Pull request #95 synchronize by samuelburnham
50s test
test
50s
Fixup Lean Action CI #26: Commit 2bc70b9 pushed by samuelburnham
44s main
main
44s
Test Benchmark pull requests #10: Issue comment #95 (comment) created by samuelburnham
1m 43s
1m 43s
Test Lean Action CI #25: Pull request #95 synchronize by samuelburnham
40s test
test
40s
Fixup Lean Action CI #24: Commit 1c3f192 pushed by samuelburnham
45s main
main
45s
Fixup Lean Action CI #23: Commit 5490c7f pushed by samuelburnham
46s main
main
46s
Fixup Benchmark pull requests #9: Commit 5490c7f pushed by samuelburnham
Failure main
main
Failure