Skip to content

Actions: AxiomMath/lean-metrics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 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
publish CI #12: Commit de2ba45 pushed by Vilin97
2m 11s main
main
2m 11s
Fix metric classification, recursion counts, and graph identities (#1) CI #11: Commit 3b6b544 pushed by Vilin97
1m 47s main
main
1m 47s
Correct declaration, proof, recursion, and dependency metrics CI #10: Pull request #1 opened by Vilin97
1m 58s codex/fix-metric-correctness
codex/fix-metric-correctness
1m 58s
initial CI #9: Commit f35dda3 pushed by aurasoph
1m 32s main
main
1m 32s
initial CI #8: Commit 36a51ec pushed by aurasoph
1m 32s main
main
1m 32s
initial CI #7: Commit 7d2bff6 pushed by aurasoph
1m 37s main
main
1m 37s
initial CI #6: Commit 16ee5ec pushed by aurasoph
1m 48s main
main
1m 48s
lean-metrics: source and dependency-structure metrics for a Lean 4 La… CI #5: Commit eb44081 pushed by aurasoph
1m 43s main
main
1m 43s
lean-metrics: source and dependency-structure metrics for a Lean 4 La… CI #4: Commit 3cbcb6f pushed by aurasoph
2m 4s main
main
2m 4s
lean-metrics: source and dependency-structure metrics for a Lean 4 La… CI #3: Commit 392da32 pushed by aurasoph
1m 57s main
main
1m 57s
lean-metrics: source and dependency-structure metrics for a Lean 4 La… CI #2: Commit 39fd1b9 pushed by aurasoph
1m 40s main
main
1m 40s
lean-metrics: source and dependency-structure metrics for a Lean 4 La… CI #1: Commit f7ad158 pushed by aurasoph
1m 38s main
main
1m 38s