Skip to content

Actions: the1lab/1lab

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

defn: Pseudofunctor bicategories and the Grothendieck construction as a lax colimit PR Preview #1601: Pull request #612 synchronize by aathn
4m 47s aathn:cat-lax-colim
aathn:cat-lax-colim
4m 47s
defn: Pseudofunctor bicategories and the Grothendieck construction as a lax colimit Build #4904: Pull request #612 synchronize by aathn
11m 30s aathn:cat-lax-colim
aathn:cat-lax-colim
11m 30s
Isofibrations Build #4903: Pull request #616 synchronize by plt-amy
6m 23s isofibrations
isofibrations
6m 23s
Isofibrations PR Preview #1600: Pull request #616 synchronize by plt-amy
1m 47s isofibrations
isofibrations
1m 47s
wip: kill one of the lists Build #4902: Commit 55c8119 pushed by plt-amy
5m 52s isofibrations
isofibrations
5m 52s
Isofibrations PR Preview #1599: Pull request #616 synchronize by plt-amy
1m 53s isofibrations
isofibrations
1m 53s
Isofibrations Build #4901: Pull request #616 synchronize by plt-amy
5m 57s isofibrations
isofibrations
5m 57s
prose: rewrite displayed categories Build #4900: Commit 43e4ac6 pushed by plt-amy
5m 53s isofibrations
isofibrations
5m 53s
Isofibrations Build #4899: Pull request #616 synchronize by plt-amy
6m 16s isofibrations
isofibrations
6m 16s
Isofibrations PR Preview #1598: Pull request #616 synchronize by plt-amy
4m 46s isofibrations
isofibrations
4m 46s
Build Build #4898: by plt-amy
6m 2s isofibrations
isofibrations
6m 2s
Build Build #4897: by plt-amy
3m 42s main
main
3m 42s
chore: pre-build everything in first step Build #4896: Commit 7dbacf2 pushed by plt-amy
11m 35s main
main
11m 35s
chore: bump agda PR Preview #1597: Pull request #618 synchronize by plt-amy
4m 49s aliao/bump-2026-04-03
aliao/bump-2026-04-03
4m 49s
chore: bump agda Build #4895: Pull request #618 synchronize by plt-amy
11m 46s aliao/bump-2026-04-03
aliao/bump-2026-04-03
11m 46s
chore: pre-build everything in first step Build #4894: Commit 406c2cf pushed by plt-amy
11m 42s aliao/bump-2026-04-03
aliao/bump-2026-04-03
11m 42s
chore: bump agda Build #4893: Pull request #618 opened by plt-amy
3m 51s aliao/bump-2026-04-03
aliao/bump-2026-04-03
3m 51s
chore: bump agda PR Preview #1596: Pull request #618 opened by plt-amy
4m 45s aliao/bump-2026-04-03
aliao/bump-2026-04-03
4m 45s
chore: use agda-nodebug for building Build #4892: Commit 58f342b pushed by plt-amy
4m 21s aliao/bump-2026-04-03
aliao/bump-2026-04-03
4m 21s
chore: bump agda Build #4891: Commit 8eac792 pushed by plt-amy
9m 8s aliao/bump-2026-04-03
aliao/bump-2026-04-03
9m 8s
Isofibrations Build #4890: Pull request #616 synchronize by plt-amy
6m 25s isofibrations
isofibrations
6m 25s
Isofibrations PR Preview #1595: Pull request #616 synchronize by plt-amy
2m 0s isofibrations
isofibrations
2m 0s
sigh Build #4889: Commit 2b4db5a pushed by plt-amy
3m 21s isofibrations
isofibrations
3m 21s
Isofibrations PR Preview #1594: Pull request #616 synchronize by plt-amy
1m 50s isofibrations
isofibrations
1m 50s
Isofibrations Build #4888: Pull request #616 synchronize by plt-amy
41s isofibrations
isofibrations
41s