Skip to content

Actions: dissensus-ai/lean-formalizations

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 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
CodeQL CodeQL #1: by studiofarzulla
3d 2h 5m 40s main
main
3d 2h 5m 40s
Retract the AoC friction functional; withdraw depth claims; archive n… Lean Action CI #5: Commit 8e11333 pushed by studiofarzulla
1h 26m 27s main
main
1h 26m 27s
Retract the AoC friction functional; withdraw depth claims; archive n… Verify Pipeline #4: Commit 8e11333 pushed by studiofarzulla
11s main
main
11s
Sync AoC quadratic-friction docs with v2 paper: withdraw empirical fr… Verify Pipeline #3: Commit b25f458 pushed by studiofarzulla
22s main
main
22s
Sync AoC quadratic-friction docs with v2 paper: withdraw empirical fr… Lean Action CI #4: Commit b25f458 pushed by studiofarzulla
1h 56m 12s main
main
1h 56m 12s
CITATION.cff: add Zenodo concept DOI (10.5281/zenodo.21315610, softwa… Lean Action CI #3: Commit d40b970 pushed by studiofarzulla
10m 19s main
main
10m 19s
CITATION.cff: add Zenodo concept DOI (10.5281/zenodo.21315610, softwa… Verify Pipeline #2: Commit d40b970 pushed by studiofarzulla
13s main
main
13s
Currency pass: README coverage table, CITATION 2.0.0, simpa lint fix Lean Action CI #2: Commit 7256c74 pushed by studiofarzulla
1h 58m 38s main
main
1h 58m 38s
Currency pass: README coverage table, CITATION 2.0.0, simpa lint fix Verify Pipeline #1: Commit 7256c74 pushed by studiofarzulla
8s main
main
8s
Initial commit: 56 machine-checked theorems across 4 papers Create Release #1: Commit 9f759f6 pushed by studiofarzulla
10s main
main
10s
Initial commit: 56 machine-checked theorems across 4 papers Lean Action CI #1: Commit 9f759f6 pushed by studiofarzulla
45m 27s main
main
45m 27s