Skip to content

Actions: LocalCharts/forest

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
148 workflow runs
148 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

typo .github/workflows/push_codeberg.yml #48: Commit 70aacdb pushed by KevinDCarlson
March 11, 2024 21:56 21s main
main
March 11, 2024 21:56 21s
Added morphisms of T-double cats .github/workflows/push_codeberg.yml #47: Commit 4ecf5ff pushed by KevinDCarlson
March 11, 2024 21:42 14s main
main
March 11, 2024 21:42 14s
Merge branch 'LocalCharts:main' into main .github/workflows/push_codeberg.yml #46: Commit f55387e pushed by AyeGill
March 11, 2024 16:49 18s main
main
March 11, 2024 16:49 18s
Merge branch 'main' of https://github.com/LocalCharts/forest into main .github/workflows/push_codeberg.yml #45: Commit 21f60ac pushed by mattecapu
March 10, 2024 14:40 14s main
main
March 10, 2024 14:40 14s
separated oxford-topos meeting outcomes from other stuff, added stuff… .github/workflows/push_codeberg.yml #44: Commit 9a9eb3e pushed by mattecapu
March 9, 2024 21:36 16s main
main
March 9, 2024 21:36 16s
Fix syntax error in push_codeberg.yml .github/workflows/push_codeberg.yml #43: Commit c6c5376 pushed by NickHu
March 7, 2024 17:58 19s main
main
March 7, 2024 17:58 19s
add pseudo-multi-operad-whatevers .github/workflows/push_codeberg.yml #42: Commit f636e14 pushed by KevinDCarlson
March 7, 2024 17:53 2s main
main
March 7, 2024 17:53 2s
fixed .github/workflows/push_codeberg.yml #41: Commit dd13e07 pushed by mattecapu
March 7, 2024 17:48 1s main
main
March 7, 2024 17:48 1s
corrections .github/workflows/push_codeberg.yml #40: Commit 6776140 pushed by mattecapu
March 7, 2024 10:12 1s main
main
March 7, 2024 10:12 1s
Merge branch 'main' of https://github.com/LocalCharts/forest into main .github/workflows/push_codeberg.yml #39: Commit 49c0130 pushed by mattecapu
March 6, 2024 18:23 Startup failure main
main
March 6, 2024 18:23 Startup failure
moved djm to authors, pre-emptively .github/workflows/push_codeberg.yml #38: Commit aead832 pushed by DavidJaz
March 6, 2024 18:23 Startup failure main
main
March 6, 2024 18:23 Startup failure
fix: actually removed wrangler-nixpkgs .github/workflows/push_codeberg.yml #37: Commit 4cc4a09 pushed by olynch
March 6, 2024 18:19 1s main
main
March 6, 2024 18:19 1s
fix: added CI guard for push job .github/workflows/push_codeberg.yml #36: Commit a72e1e0 pushed by olynch
March 6, 2024 18:17 1s main
main
March 6, 2024 18:17 1s
Merge pull request #6 from AyeGill/main .github/workflows/push_codeberg.yml #35: Commit b704524 pushed by olynch
March 6, 2024 18:15 18s main
main
March 6, 2024 18:15 18s
fix: removed wrangler-nixpkgs because it is unnecessary .github/workflows/push_codeberg.yml #34: Commit 8e5cab9 pushed by olynch
March 6, 2024 18:11 14s main
main
March 6, 2024 18:11 14s
content: peer review in forest .github/workflows/push_codeberg.yml #33: Commit 39570ff pushed by olynch
March 6, 2024 18:11 22s main
main
March 6, 2024 18:11 22s
port hamiltonians .github/workflows/push_codeberg.yml #32: Commit eade950 pushed by KevinDCarlson
March 6, 2024 18:09 16s main
main
March 6, 2024 18:09 16s
Add me and Oxford institutions .github/workflows/push_codeberg.yml #31: Commit 05a6a23 pushed by NickHu
March 6, 2024 18:00 19s main
main
March 6, 2024 18:00 19s
A theorem on coproducts in Lens(Set), and a pathological example. .github/workflows/push_codeberg.yml #30: Pull request #6 synchronize by AyeGill
March 6, 2024 11:11 13s AyeGill:main
AyeGill:main
March 6, 2024 11:11 13s
A theorem on coproducts in Lens(Set), and a pathological example. .github/workflows/push_codeberg.yml #29: Pull request #6 synchronize by AyeGill
March 6, 2024 11:02 14s AyeGill:main
AyeGill:main
March 6, 2024 11:02 14s
A theorem on coproducts in Lens(Set), and a pathological example. .github/workflows/push_codeberg.yml #28: Pull request #6 opened by AyeGill
March 5, 2024 18:34 12s AyeGill:main
AyeGill:main
March 5, 2024 18:34 12s
added a brief intro to day 1 .github/workflows/push_codeberg.yml #27: Commit 9aa97e0 pushed by olynch
March 5, 2024 15:18 23s main
main
March 5, 2024 15:18 23s
added thorsten's talk .github/workflows/push_codeberg.yml #26: Commit d7b6c1a pushed by olynch
March 5, 2024 01:25 19s main
main
March 5, 2024 01:25 19s
slotted in sam for lazyppl .github/workflows/push_codeberg.yml #25: Commit 79e8b03 pushed by olynch
March 4, 2024 17:40 16s main
main
March 4, 2024 17:40 16s
content: added link for constraint-based programming .github/workflows/push_codeberg.yml #24: Commit cfec232 pushed by olynch
March 4, 2024 17:38 15s main
main
March 4, 2024 17:38 15s