Skip to content

Actions: the1lab/1lab

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,731 workflow runs
1,731 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: add _typos.toml Build #3479: Commit e4bdf85 pushed by plt-amy
February 22, 2025 12:28 22m 0s ncf/misc
ncf/misc
February 22, 2025 12:28 22m 0s
monad refactor + comonad nonsense (#469) Build #3478: Commit f157194 pushed by plt-amy
February 22, 2025 12:27 20m 32s main
main
February 22, 2025 12:27 20m 32s
Beck-Chevalley conditions Build #3477: Pull request #466 synchronize by plt-amy
February 22, 2025 12:13 13m 18s beck-chevalley
beck-chevalley
February 22, 2025 12:13 13m 18s
Beck-Chevalley conditions PR Preview #900: Pull request #466 synchronize by plt-amy
February 22, 2025 12:13 1m 23s beck-chevalley
beck-chevalley
February 22, 2025 12:13 1m 23s
prose: more prose fixes Build #3476: Commit 9f52edc pushed by plt-amy
February 22, 2025 12:13 13m 29s beck-chevalley
beck-chevalley
February 22, 2025 12:13 13m 29s
chore: gardening Build #3475: Pull request #472 synchronize by plt-amy
February 22, 2025 12:12 13m 5s ncf/misc
ncf/misc
February 22, 2025 12:12 13m 5s
chore: gardening PR Preview #899: Pull request #472 synchronize by plt-amy
February 22, 2025 12:12 1m 26s ncf/misc
ncf/misc
February 22, 2025 12:12 1m 26s
chore: add _typos.toml Build #3474: Commit 1a21293 pushed by plt-amy
February 22, 2025 12:12 12m 49s ncf/misc
ncf/misc
February 22, 2025 12:12 12m 49s
chore: gardening PR Preview #898: Pull request #472 synchronize by ncfavier
February 22, 2025 12:11 1m 34s ncf/misc
ncf/misc
February 22, 2025 12:11 1m 34s
chore: gardening Build #3473: Pull request #472 synchronize by ncfavier
February 22, 2025 12:11 46s ncf/misc
ncf/misc
February 22, 2025 12:11 46s
chore: add _typos.toml Build #3472: Commit c9924fa pushed by ncfavier
February 22, 2025 12:11 45s ncf/misc
ncf/misc
February 22, 2025 12:11 45s
monad refactor + comonad nonsense Build #3471: Pull request #469 synchronize by plt-amy
February 22, 2025 12:05 11m 50s aliao/comonads
aliao/comonads
February 22, 2025 12:05 11m 50s
monad refactor + comonad nonsense PR Preview #897: Pull request #469 synchronize by plt-amy
February 22, 2025 12:05 1m 21s aliao/comonads
aliao/comonads
February 22, 2025 12:05 1m 21s
move algebra limits to match coalgebra limits Build #3470: Commit 4d84b3f pushed by plt-amy
February 22, 2025 12:05 11m 27s aliao/comonads
aliao/comonads
February 22, 2025 12:05 11m 27s
monad refactor + comonad nonsense Build #3469: Pull request #469 synchronize by plt-amy
February 22, 2025 12:01 3m 56s aliao/comonads
aliao/comonads
February 22, 2025 12:01 3m 56s
monad refactor + comonad nonsense PR Preview #896: Pull request #469 synchronize by plt-amy
February 22, 2025 12:01 1m 24s aliao/comonads
aliao/comonads
February 22, 2025 12:01 1m 24s
move algebra limits to match coalgebra limits Build #3468: Commit e54cd44 pushed by plt-amy
February 22, 2025 12:01 3m 58s aliao/comonads
aliao/comonads
February 22, 2025 12:01 3m 58s
monad refactor + comonad nonsense Build #3467: Pull request #469 synchronize by plt-amy
February 22, 2025 11:56 5m 3s aliao/comonads
aliao/comonads
February 22, 2025 11:56 5m 3s
monad refactor + comonad nonsense PR Preview #895: Pull request #469 synchronize by plt-amy
February 22, 2025 11:56 1m 25s aliao/comonads
aliao/comonads
February 22, 2025 11:56 1m 25s
prose: some prose for coalgebras Build #3466: Commit ba599d6 pushed by plt-amy
February 22, 2025 11:56 5m 4s aliao/comonads
aliao/comonads
February 22, 2025 11:56 5m 4s
defn: bicategory of displayed categories (#467) Build #3465: Commit a94f495 pushed by plt-amy
February 22, 2025 11:54 13m 20s main
main
February 22, 2025 11:54 13m 20s
chore: gardening PR Preview #894: Pull request #472 synchronize by ncfavier
February 21, 2025 23:01 1m 32s ncf/misc
ncf/misc
February 21, 2025 23:01 1m 32s
chore: gardening Build #3464: Pull request #472 synchronize by ncfavier
February 21, 2025 23:01 21m 7s ncf/misc
ncf/misc
February 21, 2025 23:01 21m 7s
chore: fix typos Build #3463: Commit 9997e1e pushed by ncfavier
February 21, 2025 23:01 21m 6s ncf/misc
ncf/misc
February 21, 2025 23:01 21m 6s
chore: gardening Build #3462: Pull request #472 opened by ncfavier
February 21, 2025 22:44 10m 17s ncf/misc
ncf/misc
February 21, 2025 22:44 10m 17s