Skip to content

Actions: the1lab/1lab

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

wip: pcas Build #3613: Commit 0110b4e pushed by plt-amy
April 2, 2025 19:19 20m 4s aliao/realisability
aliao/realisability
April 2, 2025 19:19 20m 4s
Jointly Cartesian Families PR Preview #958: Pull request #481 synchronize by TOTBWF
April 2, 2025 17:49 2m 14s joint-cartesian
joint-cartesian
April 2, 2025 17:49 2m 14s
Jointly Cartesian Families Build #3612: Pull request #481 synchronize by TOTBWF
April 2, 2025 17:49 3m 45s joint-cartesian
joint-cartesian
April 2, 2025 17:49 3m 45s
def: more general composition and cancellation properties Build #3611: Commit 9c5ada0 pushed by TOTBWF
April 2, 2025 17:49 3m 45s joint-cartesian
joint-cartesian
April 2, 2025 17:49 3m 45s
Jointly Cartesian Families PR Preview #957: Pull request #481 synchronize by TOTBWF
April 2, 2025 14:24 7m 18s joint-cartesian
joint-cartesian
April 2, 2025 14:24 7m 18s
Jointly Cartesian Families Build #3610: Pull request #481 synchronize by TOTBWF
April 2, 2025 14:24 19m 26s joint-cartesian
joint-cartesian
April 2, 2025 14:24 19m 26s
prose: fix link targets Build #3609: Commit 17e9fba pushed by TOTBWF
April 2, 2025 14:24 19m 33s joint-cartesian
joint-cartesian
April 2, 2025 14:24 19m 33s
Jointly Cartesian Families PR Preview #956: Pull request #481 synchronize by TOTBWF
April 2, 2025 02:21 2m 59s joint-cartesian
joint-cartesian
April 2, 2025 02:21 2m 59s
Jointly Cartesian Families Build #3608: Pull request #481 synchronize by TOTBWF
April 2, 2025 02:21 17m 36s joint-cartesian
joint-cartesian
April 2, 2025 02:21 17m 36s
Merge branch 'main' into joint-cartesian Build #3607: Commit b37062c pushed by TOTBWF
April 2, 2025 02:21 18m 44s joint-cartesian
joint-cartesian
April 2, 2025 02:21 18m 44s
Jointly Cartesian Families PR Preview #955: Pull request #481 opened by TOTBWF
April 2, 2025 02:21 3m 16s joint-cartesian
joint-cartesian
April 2, 2025 02:21 3m 16s
Jointly Cartesian Families Build #3606: Pull request #481 opened by TOTBWF
April 2, 2025 02:21 33s joint-cartesian
joint-cartesian
April 2, 2025 02:21 33s
prose: nomenclature warning for jointly cartesian families Build #3605: Commit 3a2fd2a pushed by TOTBWF
April 2, 2025 02:18 3m 17s joint-cartesian
joint-cartesian
April 2, 2025 02:18 3m 17s
def: joint cartesian morphisms Build #3604: Commit ac5633e pushed by TOTBWF
April 2, 2025 02:13 5m 23s joint-cartesian
joint-cartesian
April 2, 2025 02:13 5m 23s
Finiteness in terms of lists (#477) Build #3603: Commit 53169a5 pushed by plt-amy
March 31, 2025 08:03 26m 17s main
main
March 31, 2025 08:03 26m 17s
Finiteness in terms of lists Build #3602: Pull request #477 synchronize by plt-amy
March 24, 2025 16:51 4m 18s aliao/list-sigma
aliao/list-sigma
March 24, 2025 16:51 4m 18s
Finiteness in terms of lists PR Preview #954: Pull request #477 synchronize by plt-amy
March 24, 2025 16:51 2m 0s aliao/list-sigma
aliao/list-sigma
March 24, 2025 16:51 2m 0s
ahem Build #3601: Commit fb41410 pushed by plt-amy
March 24, 2025 16:51 4m 49s aliao/list-sigma
aliao/list-sigma
March 24, 2025 16:51 4m 49s
Finiteness in terms of lists Build #3600: Pull request #477 synchronize by plt-amy
March 24, 2025 15:52 19m 46s aliao/list-sigma
aliao/list-sigma
March 24, 2025 15:52 19m 46s
Finiteness in terms of lists PR Preview #953: Pull request #477 synchronize by plt-amy
March 24, 2025 15:52 2m 30s aliao/list-sigma
aliao/list-sigma
March 24, 2025 15:52 2m 30s
link back to Finset Build #3599: Commit 652bf50 pushed by plt-amy
March 24, 2025 15:52 19m 53s aliao/list-sigma
aliao/list-sigma
March 24, 2025 15:52 19m 53s
Finiteness in terms of lists Build #3598: Pull request #477 synchronize by plt-amy
March 18, 2025 20:57 9m 47s aliao/list-sigma
aliao/list-sigma
March 18, 2025 20:57 9m 47s
Finiteness in terms of lists PR Preview #952: Pull request #477 synchronize by plt-amy
March 18, 2025 20:57 2m 6s aliao/list-sigma
aliao/list-sigma
March 18, 2025 20:57 2m 6s
more feedback Build #3597: Commit c9476cf pushed by plt-amy
March 18, 2025 20:57 9m 52s aliao/list-sigma
aliao/list-sigma
March 18, 2025 20:57 9m 52s
Finiteness in terms of lists PR Preview #951: Pull request #477 synchronize by plt-amy
March 18, 2025 20:31 1m 56s aliao/list-sigma
aliao/list-sigma
March 18, 2025 20:31 1m 56s