Skip to content

Actions: optpku/CAM-Bench

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 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
Initial commit Lean Action CI #27: Commit a36ff77 pushed by imathwy
3m 28s main
main
3m 28s
update: CAM-Bench Lean Action CI #26: Commit edfa44e pushed by imathwy
4m 24s main
main
4m 24s
Update README Lean Action CI #25: Commit 909323f pushed by chenyili0818
7m 13s main
main
7m 13s
update others Lean Action CI #24: Commit 0fb4f03 pushed by 1a776
4m 39s main
main
4m 39s
update others Lean Action CI #23: Commit b7012dc pushed by 1a776
6m 22s main
main
6m 22s
update 500 Lean Action CI #22: Commit 45ee40d pushed by 1a776
11m 47s main
main
11m 47s
def-or-True Lean Action CI #21: Commit 4a59053 pushed by 1a776
5m 22s main
main
5m 22s
structure-Fix Lean Action CI #20: Commit 363d050 pushed by 1a776
8m 1s main
main
8m 1s
update Lean Action CI #19: Commit 7da6dbe pushed by 1a776
5m 37s main
main
5m 37s
Merge remote main keeping remote README Lean Action CI #18: Commit 2953f2b pushed by 1a776
6m 58s main
main
6m 58s
Merge remote main keeping remote README Lean Action CI #17: Commit e6ae222 pushed by 1a776
6m 56s main
main
6m 56s
Update README.md Lean Action CI #16: Commit 1de60cb pushed by chenyili0818
3m 33s main
main
3m 33s
Fix email link format Lean Action CI #15: Commit 1ec7637 pushed by chenyili0818
3m 5s main
main
3m 5s
update README Lean Action CI #14: Commit 17a1ecc pushed by chenyili0818
3m 30s main
main
3m 30s
update REAMDE Lean Action CI #13: Commit 874c2b4 pushed by chenyili0818
6m 0s main
main
6m 0s
chore: update README Lean Action CI #12: Commit 87c2caa pushed by chenyili0818
3m 43s main
main
3m 43s
fix error Lean Action CI #11: Commit 08a3836 pushed by 1a776
44m 26s main
main
44m 26s
fix error Lean Action CI #10: Commit f55f581 pushed by 1a776
56m 41s main
main
56m 41s
bug: compile err in 614.lean Lean Action CI #9: Commit 2f81e75 pushed by oushihsabiy
31m 3s main
main
31m 3s
bug: error structure fixed Lean Action CI #8: Commit deadffd pushed by oushihsabiy
50m 48s main
main
50m 48s
bug: namespace mismatch fixed Lean Action CI #7: Commit 1377a2d pushed by oushihsabiy
48m 18s main
main
48m 18s
namespace added in bench Lean Action CI #6: Commit cf381fe pushed by oushihsabiy
46m 32s main
main
46m 32s
chore: fix bug in README Lean Action CI #5: Commit 1be15ab pushed by chenyili0818
47m 27s main
main
47m 27s
chore: update README Lean Action CI #4: Commit d497bd8 pushed by chenyili0818
46m 26s main
main
46m 26s
lake-manifest_fixed Lean Action CI #3: Commit d22ca6e pushed by oushihsabiy
47m 35s main
main
47m 35s