Skip to content

Actions: the1lab/1lab

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,380 workflow runs
2,380 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump Build #3198: Pull request #442 opened by plt-amy
November 13, 2024 15:22 23m 38s aliao/bump-2024-11-09
aliao/bump-2024-11-09
November 13, 2024 15:22 23m 38s
chore: bump PR Preview #767: Pull request #442 opened by plt-amy
November 13, 2024 15:22 6m 37s aliao/bump-2024-11-09
aliao/bump-2024-11-09
November 13, 2024 15:22 6m 37s
chore: bump Build #3197: Commit c4be779 pushed by plt-amy
November 13, 2024 15:21 17m 36s aliao/bump-2024-11-09
aliao/bump-2024-11-09
November 13, 2024 15:21 17m 36s
chore: typos (#438) Build #3196: Commit 4351647 pushed by plt-amy
November 13, 2024 15:21 7m 46s main
main
November 13, 2024 15:21 7m 46s
chore: bump Build #3195: Commit dfb9f82 pushed by plt-amy
November 13, 2024 15:18 3m 31s aliao/bump-2024-11-09
aliao/bump-2024-11-09
November 13, 2024 15:18 3m 31s
chore: typos PR Preview #766: Pull request #438 synchronize by plt-amy
November 13, 2024 15:13 6m 51s ncf/typos
ncf/typos
November 13, 2024 15:13 6m 51s
chore: typos Build #3194: Pull request #438 synchronize by plt-amy
November 13, 2024 15:13 7m 27s ncf/typos
ncf/typos
November 13, 2024 15:13 7m 27s
chore: typos Build #3193: Commit a2663fe pushed by plt-amy
November 13, 2024 15:13 7m 40s ncf/typos
ncf/typos
November 13, 2024 15:13 7m 40s
chore: fix typo (#441) Build #3192: Commit 2e1684b pushed by ncfavier
November 12, 2024 16:39 24m 25s main
main
November 12, 2024 16:39 24m 25s
chore: fix typo Build #3191: Pull request #441 synchronize by phi16
November 12, 2024 13:53 18m 37s phi16:main
phi16:main
November 12, 2024 13:53 18m 37s
chore: fix typo PR Preview #765: Pull request #441 synchronize by phi16
November 12, 2024 13:53 1m 43s phi16:main
phi16:main
November 12, 2024 13:53 1m 43s
chore: fix typo PR Preview #764: Pull request #441 synchronize by phi16
November 12, 2024 13:53 1m 37s phi16:main
phi16:main
November 12, 2024 13:53 1m 37s
chore: fix typo Build #3190: Pull request #441 synchronize by phi16
November 12, 2024 13:53 4s phi16:main
phi16:main
November 12, 2024 13:53 4s
chore: fix typo Build #3189: Pull request #441 synchronize by phi16
November 12, 2024 13:32 18m 49s phi16:main
phi16:main
November 12, 2024 13:32 18m 49s
chore: fix typo PR Preview #763: Pull request #441 synchronize by phi16
November 12, 2024 13:32 1m 33s phi16:main
phi16:main
November 12, 2024 13:32 1m 33s
chore: fix typo Build #3188: Pull request #441 opened by phi16
November 12, 2024 12:08 23m 57s phi16:main
phi16:main
November 12, 2024 12:08 23m 57s
chore: fix typo PR Preview #762: Pull request #441 opened by phi16
November 12, 2024 12:08 6m 39s phi16:main
phi16:main
November 12, 2024 12:08 6m 39s
Facts about Adjoints Build #3187: Pull request #439 synchronize by TOTBWF
November 11, 2024 21:52 2m 33s adjoint-facts
adjoint-facts
November 11, 2024 21:52 2m 33s
Facts about Adjoints PR Preview #761: Pull request #439 synchronize by TOTBWF
November 11, 2024 21:52 1m 30s adjoint-facts
adjoint-facts
November 11, 2024 21:52 1m 30s
chore: update reference to eso→pre-faithful in Hott.lagda.md Build #3186: Commit 8f4c8d3 pushed by TOTBWF
November 11, 2024 21:52 26m 8s adjoint-facts
adjoint-facts
November 11, 2024 21:52 26m 8s
Facts about Adjoints PR Preview #760: Pull request #439 synchronize by TOTBWF
November 11, 2024 21:49 1m 32s adjoint-facts
adjoint-facts
November 11, 2024 21:49 1m 32s
Facts about Adjoints Build #3185: Pull request #439 synchronize by TOTBWF
November 11, 2024 21:49 1m 30s adjoint-facts
adjoint-facts
November 11, 2024 21:49 1m 30s
fix: actually use new lemma in Rezk.Universal Build #3184: Commit 1a21368 pushed by TOTBWF
November 11, 2024 21:49 4m 2s adjoint-facts
adjoint-facts
November 11, 2024 21:49 4m 2s
Facts about Adjoints PR Preview #759: Pull request #439 synchronize by TOTBWF
November 11, 2024 21:41 1m 31s adjoint-facts
adjoint-facts
November 11, 2024 21:41 1m 31s
Facts about Adjoints Build #3183: Pull request #439 synchronize by TOTBWF
November 11, 2024 21:41 1m 18s adjoint-facts
adjoint-facts
November 11, 2024 21:41 1m 18s