Skip to content

Actions: cameronfreer/exchangeability

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
181 workflow runs
181 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
Simplify via mathlib v4.30.0: replace upstreamed/missed helpers (#134) Deploy documentation #171: Commit e0532e5 pushed by cameronfreer
55m 22s main
main
55m 22s
Upgrade to Lean v4.30.0 + mathlib v4.30.0 (stable) (#133) Deploy documentation #170: Commit 1b629e8 pushed by cameronfreer
48m 42s main
main
48m 42s
Quality pass: comment hygiene, helper consolidation, golf, docs+CI ax… Deploy documentation #169: Commit 48e7501 pushed by cameronfreer
58m 24s main
main
58m 24s
Quality pass: comment hygiene, helper consolidation, golf, docs+CI axiom check Blueprint consistency #7: Pull request #132 synchronize by cameronfreer
9s quality-pass
quality-pass
9s
Quality pass: comment hygiene, helper consolidation, golf, docs+CI axiom check Blueprint consistency #6: Pull request #132 opened by cameronfreer
7s quality-pass
quality-pass
7s
docs(README): simplify Acknowledgments to point at lean4-skills (#130) Deploy documentation #168: Commit cdb3cb4 pushed by cameronfreer
58m 29s main
main
58m 29s
chore(blueprint): regenerate import_graph_colored {svg,png} (refresh)… Deploy documentation #167: Commit 722fba0 pushed by cameronfreer
18m 19s main
main
18m 19s
ci: bump actions/checkout v4 → v6 + opt JS actions into Node 24 (#128) Deploy documentation #166: Commit e58aa6e pushed by cameronfreer
11m 23s main
main
11m 23s
ci: bump actions/checkout v4 → v6 + opt JS actions into Node 24 Blueprint consistency #5: Pull request #128 synchronize by cameronfreer
11s bump-ci-actions
bump-ci-actions
11s
ci: bump actions/checkout v4 → v6 + opt JS actions into Node 24 Blueprint consistency #4: Pull request #128 synchronize by cameronfreer
9s bump-ci-actions
bump-ci-actions
9s
ci: bump actions/checkout v4 → v6 + opt JS actions into Node 24 Blueprint consistency #3: Pull request #128 opened by cameronfreer
9s bump-ci-actions
bump-ci-actions
9s
chore(blueprint): regenerate web + pdf artifacts (5-month refresh) (#… Deploy documentation #165: Commit f218002 pushed by cameronfreer
57m 1s main
main
57m 1s
chore(docs): refresh stale counts/dates/refs ahead of v1.3 release (#… Deploy documentation #164: Commit 289affe pushed by cameronfreer
10m 59s main
main
10m 59s
chore: drop the last 3 linter.unusedVariables suppressions (3 → 0) (#… Deploy documentation #163: Commit 3e7b30d pushed by cameronfreer
11m 33s main
main
11m 33s
chore: 2 single-use let inlines + 3 rw/exact → ▸ term-mode collapses … Deploy documentation #162: Commit aef60cb pushed by cameronfreer
55m 29s main
main
55m 29s
chore: manual golf — 6 remaining by exact + 2 intro_exact term-mode… Deploy documentation #161: Commit f6611dd pushed by cameronfreer
11m 3s main
main
11m 3s
chore: collapse 32 by exact <expr> wrappers to direct term-mode (#122) Deploy documentation #160: Commit ef4e47b pushed by cameronfreer
11m 41s main
main
11m 41s
chore: inline map_coords_apply + drop 8 stale linter suppressions (#121) Deploy documentation #159: Commit 8b4d26a pushed by cameronfreer
10m 33s main
main
10m 33s
refactor: migrate all call sites to Contractable.{map_single,map_pair… Deploy documentation #158: Commit a41dcb0 pushed by cameronfreer
10m 36s main
main
10m 36s
chore: mechanical golf batch — term-mode collapses + linter-suppressi… Deploy documentation #157: Commit 7ef760a pushed by cameronfreer
11m 9s main
main
11m 9s
feat(Contractable): generic comp + map_pair, drop dead L2 support… Deploy documentation #156: Commit 93961e6 pushed by cameronfreer
10m 20s main
main
10m 20s
chore(CenteredVariables): consecutive rw bracket-folds + 1 simp/ring … Deploy documentation #155: Commit 095738a pushed by cameronfreer
10m 23s main
main
10m 23s
chore: 5 small golf candidates in Probability/MeasureKernels + TimeRe… Deploy documentation #154: Commit 9255df0 pushed by cameronfreer
11m 31s main
main
11m 31s
chore: mechanical proof-golf batch — rfl/simpa one-liners across 7 fi… Deploy documentation #153: Commit 6ebe92e pushed by cameronfreer
11m 15s main
main
11m 15s
feat(Contractable): generic map_single and use it in Tail + L² (#114) Deploy documentation #152: Commit 72e2987 pushed by cameronfreer
9m 44s main
main
9m 44s