Skip to content

Actions: the1lab/1lab

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,116 workflow runs
2,116 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
make Acc's argument an index instead of a non-regular parameter Build #4968: Commit 02ab3a6 pushed by ncfavier
4m 9s main
main
4m 9s
make Acc's argument an index instead of a non-regular parameter PR Preview #1646: Pull request #624 opened by ncfavier
4m 49s ncfavier:acc-indexed
ncfavier:acc-indexed
4m 49s
make Acc's argument an index instead of a non-regular parameter Build #4967: Pull request #624 opened by ncfavier
4m 13s ncfavier:acc-indexed
ncfavier:acc-indexed
4m 13s
Comonoids, duality, and related displayed tech PR Preview #1645: Pull request #584 synchronize by jajaperson
2m 9s jajaperson:monoidal-internalization
jajaperson:monoidal-internalization
2m 9s
Comonoids, duality, and related displayed tech Build #4966: Pull request #584 synchronize by jajaperson
5m 3s jajaperson:monoidal-internalization
jajaperson:monoidal-internalization
5m 3s
Comonoids, duality, and related displayed tech Build #4965: Pull request #584 synchronize by jajaperson
3m 46s jajaperson:monoidal-internalization
jajaperson:monoidal-internalization
3m 46s
Comonoids, duality, and related displayed tech PR Preview #1644: Pull request #584 synchronize by jajaperson
2m 4s jajaperson:monoidal-internalization
jajaperson:monoidal-internalization
2m 4s
Isofibrations PR Preview #1643: Pull request #616 synchronize by plt-amy
4m 53s isofibrations
isofibrations
4m 53s
Isofibrations Build #4964: Pull request #616 synchronize by plt-amy
6m 47s isofibrations
isofibrations
6m 47s
fixup: review comments Build #4963: Commit 7d7bfbb pushed by plt-amy
7m 4s isofibrations
isofibrations
7m 4s
kill rewrite rules PR Preview #1642: Pull request #619 synchronize by plt-amy
1m 54s aliao/no-rewrite-rules
aliao/no-rewrite-rules
1m 54s
kill rewrite rules Build #4962: Pull request #619 synchronize by plt-amy
9m 53s aliao/no-rewrite-rules
aliao/no-rewrite-rules
9m 53s
chore: explain props Build #4961: Commit 06284fd pushed by plt-amy
9m 30s aliao/no-rewrite-rules
aliao/no-rewrite-rules
9m 30s
kill rewrite rules Build #4960: Pull request #619 synchronize by plt-amy
8m 3s aliao/no-rewrite-rules
aliao/no-rewrite-rules
8m 3s
kill rewrite rules PR Preview #1641: Pull request #619 synchronize by plt-amy
1m 27s aliao/no-rewrite-rules
aliao/no-rewrite-rules
1m 27s
chore: explain props Build #4959: Commit 174b345 pushed by plt-amy
7m 41s aliao/no-rewrite-rules
aliao/no-rewrite-rules
7m 41s
kill rewrite rules PR Preview #1640: Pull request #619 synchronize by plt-amy
1m 21s aliao/no-rewrite-rules
aliao/no-rewrite-rules
1m 21s
kill rewrite rules Build #4958: Pull request #619 synchronize by plt-amy
2m 54s aliao/no-rewrite-rules
aliao/no-rewrite-rules
2m 54s
chore: explain props Build #4957: Commit 7a0c39d pushed by plt-amy
2m 29s aliao/no-rewrite-rules
aliao/no-rewrite-rules
2m 29s
Refactor Cat.Displayed.Univalence.Thin PR Preview #1639: Pull request #622 synchronize by aathn
1m 49s aathn:thinly-displayed
aathn:thinly-displayed
1m 49s
Refactor Cat.Displayed.Univalence.Thin Build #4956: Pull request #622 synchronize by aathn
3m 45s aathn:thinly-displayed
aathn:thinly-displayed
3m 45s
Comonoids, duality, and related displayed tech PR Preview #1638: Pull request #584 synchronize by jajaperson
2m 2s jajaperson:monoidal-internalization
jajaperson:monoidal-internalization
2m 2s
Comonoids, duality, and related displayed tech Build #4955: Pull request #584 synchronize by jajaperson
6m 6s jajaperson:monoidal-internalization
jajaperson:monoidal-internalization
6m 6s
kill rewrite rules PR Preview #1637: Pull request #619 synchronize by plt-amy
4m 43s aliao/no-rewrite-rules
aliao/no-rewrite-rules
4m 43s
kill rewrite rules Build #4954: Pull request #619 synchronize by plt-amy
12m 26s aliao/no-rewrite-rules
aliao/no-rewrite-rules
12m 26s