Skip to content

Actions: the1lab/1lab

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,972 workflow runs
1,972 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
wip: profunctor representations Build #5167: Commit ab0036c pushed by plt-amy
3m 19s aliao/profunctors
aliao/profunctors
3m 19s
Profunctors PR Preview #1776: Pull request #645 synchronize by plt-amy
1m 32s aliao/profunctors
aliao/profunctors
1m 32s
Profunctors Build #5166: Pull request #645 synchronize by plt-amy
2m 17s aliao/profunctors
aliao/profunctors
2m 17s
wip: profunctor representations Build #5165: Commit 85e8b52 pushed by plt-amy
2m 9s aliao/profunctors
aliao/profunctors
2m 9s
Sorted Maps Build #5164: Pull request #581 synchronize by olynch
1m 49s olynch:olynch/maps
olynch:olynch/maps
1m 49s
Sorted Maps PR Preview #1775: Pull request #581 synchronize by olynch
1m 11s olynch:olynch/maps
olynch:olynch/maps
1m 11s
Profunctors PR Preview #1774: Pull request #645 synchronize by plt-amy
4m 48s aliao/profunctors
aliao/profunctors
4m 48s
Profunctors Build #5163: Pull request #645 synchronize by plt-amy
11m 12s aliao/profunctors
aliao/profunctors
11m 12s
wip: profunctor representations Build #5162: Commit d197210 pushed by plt-amy
10m 47s aliao/profunctors
aliao/profunctors
10m 47s
chore: Tweak bicategory prose and address review comments Build #5161: Commit 72a3657 pushed by plt-amy
10m 22s main
main
10m 22s
defn: Pseudofunctor bicategories and the Grothendieck construction as a lax colimit PR Preview #1773: Pull request #612 synchronize by plt-amy
1m 59s aathn:cat-lax-colim
aathn:cat-lax-colim
1m 59s
defn: Pseudofunctor bicategories and the Grothendieck construction as a lax colimit Build #5160: Pull request #612 synchronize by plt-amy
3m 3s aathn:cat-lax-colim
aathn:cat-lax-colim
3m 3s
defn: Pseudofunctor bicategories and the Grothendieck construction as a lax colimit Build #5159: Pull request #612 synchronize by aathn
9m 39s aathn:cat-lax-colim
aathn:cat-lax-colim
9m 39s
defn: Pseudofunctor bicategories and the Grothendieck construction as a lax colimit PR Preview #1772: Pull request #612 synchronize by aathn
4m 51s aathn:cat-lax-colim
aathn:cat-lax-colim
4m 51s
refactor: use a refinement type for Data.Vec Build #5158: Commit 8bf6ef6 pushed by plt-amy
6m 52s main
main
6m 52s
refactor: use a refinement type for Data.Vec PR Preview #1771: Pull request #586 synchronize by plt-amy
5m 0s 4e554c4c:refinement
4e554c4c:refinement
5m 0s
refactor: use a refinement type for Data.Vec Build #5157: Pull request #586 synchronize by plt-amy
7m 26s 4e554c4c:refinement
4e554c4c:refinement
7m 26s
Clean up APIs for terminal and initial objects PR Preview #1770: Pull request #647 synchronize by TOTBWF
15m 3s terminal-initial-cleanup
terminal-initial-cleanup
15m 3s
Clean up APIs for terminal and initial objects Build #5156: Pull request #647 synchronize by TOTBWF
15m 4s terminal-initial-cleanup
terminal-initial-cleanup
15m 4s
chore: fix spacing Build #5155: Commit e2088fd pushed by TOTBWF
15m 3s terminal-initial-cleanup
terminal-initial-cleanup
15m 3s
chore: Fix typos Build #5154: Commit fe2d846 pushed by plt-amy
5m 17s main
main
5m 17s
Clean up APIs for terminal and initial objects Build #5153: Pull request #647 synchronize by TOTBWF
5m 37s terminal-initial-cleanup
terminal-initial-cleanup
5m 37s
Clean up APIs for terminal and initial objects PR Preview #1769: Pull request #647 synchronize by TOTBWF
1m 44s terminal-initial-cleanup
terminal-initial-cleanup
1m 44s
chore: clean up the interface to initial objects Build #5152: Commit b59c351 pushed by TOTBWF
4m 36s terminal-initial-cleanup
terminal-initial-cleanup
4m 36s
Clean up APIs for terminal and initial objects Build #5151: Pull request #647 opened by TOTBWF
47s terminal-initial-cleanup
terminal-initial-cleanup
47s