Skip to content

Actions: SpencerWoolfson/biyoneda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
71 workflow runs
71 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
backwards_comp_core closes: the backward direction is sorryAx-free Lean Action CI #36: Commit e479b66 pushed by SpencerWoolfson
15m 24s master
master
15m 24s
pages build and deployment pages-build-deployment #31: by SpencerWoolfson
39s master
master
39s
homPseudo: two rfl bridges, dsimp [prelax] removed, diagnosis narrowe… Lean Action CI #35: Commit e730141 pushed by SpencerWoolfson
17m 56s master
master
17m 56s
homPseudo: two rfl bridges, dsimp [prelax] removed, diagnosis narrowe… Create Release #2: Commit e730141 pushed by SpencerWoolfson
18s master
master
18s
pages build and deployment pages-build-deployment #30: by SpencerWoolfson
43s master
master
43s
Stop tracking .mcp.json (local Claude Code tooling config) Lean Action CI #34: Commit 843900b pushed by SpencerWoolfson
18m 22s master
master
18m 22s
pages build and deployment pages-build-deployment #29: by SpencerWoolfson
38s master
master
38s
Canonical-form sweep: use generated _app lemmas across both files Lean Action CI #33: Commit 8e73cf2 pushed by SpencerWoolfson
18m 5s master
master
18m 5s
pages build and deployment pages-build-deployment #28: by SpencerWoolfson
42s master
master
42s
Notes: scope the two-variable hom-pseudofunctor Lean Action CI #32: Commit 6cf9138 pushed by SpencerWoolfson
18m 15s master
master
18m 15s
pages build and deployment pages-build-deployment #27: by SpencerWoolfson
36s master
master
36s
Lint cleanup of naturality_comp forwards proof Lean Action CI #31: Commit bdfa19f pushed by SpencerWoolfson
22m 31s master
master
22m 31s
pages build and deployment pages-build-deployment #26: by SpencerWoolfson
37s master
master
37s
Close forwards + backwards naturality of the Yoneda equivalence Lean Action CI #30: Commit 15d134c pushed by SpencerWoolfson
18m 59s master
master
18m 59s
pages build and deployment pages-build-deployment #25: by SpencerWoolfson
39s master
master
39s
did some work and then tryed claud for a bit aswell. Build PDF #5: Commit b6c5e1e pushed by SpencerWoolfson
1m 55s master
master
1m 55s
did some work and then tryed claud for a bit aswell. Lean Action CI #29: Commit b6c5e1e pushed by SpencerWoolfson
19m 25s master
master
19m 25s
pages build and deployment pages-build-deployment #24: by SpencerWoolfson
48s master
master
48s
Fixed some of the random stuff claud added to the paper. Build PDF #4: Commit dd15432 pushed by SpencerWoolfson
1m 26s master
master
1m 26s
Fixed some of the random stuff claud added to the paper. Lean Action CI #28: Commit dd15432 pushed by SpencerWoolfson
17m 25s master
master
17m 25s
pages build and deployment pages-build-deployment #23: by SpencerWoolfson
42s master
master
42s
Filled in some more goals worked on the paper a bit Lean Action CI #27: Commit 285a075 pushed by SpencerWoolfson
16m 57s master
master
16m 57s
Filled in some more goals worked on the paper a bit Build PDF #3: Commit 285a075 pushed by SpencerWoolfson
1m 26s master
master
1m 26s
pages build and deployment pages-build-deployment #22: by SpencerWoolfson
39s master
master
39s
Worked on clean up. Lean Action CI #26: Commit 22fba59 pushed by SpencerWoolfson
16m 43s master
master
16m 43s