Skip to content

Actions: the1lab/1lab

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

prose: prose pass on two-sided fibrations Build #3365: Commit 3918ac8 pushed by TOTBWF
February 5, 2025 18:47 24m 36s 2-sided-fibration
2-sided-fibration
February 5, 2025 18:47 24m 36s
Two-sided fibrations Build #3364: Pull request #456 synchronize by TOTBWF
February 5, 2025 18:45 2m 15s 2-sided-fibration
2-sided-fibration
February 5, 2025 18:45 2m 15s
Two-sided fibrations PR Preview #836: Pull request #456 synchronize by TOTBWF
February 5, 2025 18:45 3m 25s 2-sided-fibration
2-sided-fibration
February 5, 2025 18:45 3m 25s
prose: prose pass on comma Build #3363: Commit 85b38fb pushed by TOTBWF
February 5, 2025 18:45 2m 16s 2-sided-fibration
2-sided-fibration
February 5, 2025 18:45 2m 16s
Total products PR Preview #835: Pull request #459 synchronize by TOTBWF
February 2, 2025 22:02 1m 24s total-products
total-products
February 2, 2025 22:02 1m 24s
Total products Build #3362: Pull request #459 synchronize by TOTBWF
February 2, 2025 22:02 4m 0s total-products
total-products
February 2, 2025 22:02 4m 0s
Merge branch 'main' into total-products Build #3361: Commit 6a34245 pushed by TOTBWF
February 2, 2025 22:02 4m 6s total-products
total-products
February 2, 2025 22:02 4m 6s
Total products PR Preview #834: Pull request #459 synchronize by TOTBWF
February 2, 2025 22:02 1m 32s total-products
total-products
February 2, 2025 22:02 1m 32s
Total products Build #3360: Pull request #459 synchronize by TOTBWF
February 2, 2025 22:02 35s total-products
total-products
February 2, 2025 22:02 35s
chore: formatting Build #3359: Commit 09c9ff0 pushed by TOTBWF
February 2, 2025 22:02 37s total-products
total-products
February 2, 2025 22:02 37s
Total products PR Preview #833: Pull request #459 opened by TOTBWF
February 2, 2025 20:29 6m 19s total-products
total-products
February 2, 2025 20:29 6m 19s
Total products Build #3358: Pull request #459 opened by TOTBWF
February 2, 2025 20:29 41s total-products
total-products
February 2, 2025 20:29 41s
chore: import cleanup Build #3357: Commit d777d41 pushed by TOTBWF
February 2, 2025 20:24 26m 5s total-products
total-products
February 2, 2025 20:24 26m 5s
def: higher inductive k-finite sets Build #3356: Commit cfe503e pushed by plt-amy
January 26, 2025 13:14 21m 26s aliao/list-sigma
aliao/list-sigma
January 26, 2025 13:14 21m 26s
def: higher inductive k-finite sets Build #3355: Commit 9df549a pushed by plt-amy
January 25, 2025 17:50 20m 30s aliao/list-sigma
aliao/list-sigma
January 25, 2025 17:50 20m 30s
ough Build #3354: Commit 0dbc371 pushed by plt-amy
January 25, 2025 15:52 20m 20s aliao/list-sigma
aliao/list-sigma
January 25, 2025 15:52 20m 20s
refactor: use identity instead of path for _∈ₗ_ Build #3353: Commit 474cc86 pushed by plt-amy
January 25, 2025 14:51 19m 8s aliao/list-sigma
aliao/list-sigma
January 25, 2025 14:51 19m 8s
wip: characterise addition on successors Build #3352: Commit d988896 pushed by TOTBWF
January 24, 2025 17:52 7m 17s conat
conat
January 24, 2025 17:52 7m 17s
def: finite in terms of lists Build #3351: Commit 47944e5 pushed by plt-amy
January 24, 2025 17:49 21m 13s aliao/list-sigma
aliao/list-sigma
January 24, 2025 17:49 21m 13s
web: fancier popups (#449) Build #3350: Commit 9e68f15 pushed by plt-amy
January 24, 2025 10:39 26m 56s main
main
January 24, 2025 10:39 26m 56s
wip: fancier popups PR Preview #832: Pull request #449 synchronize by plt-amy
January 24, 2025 10:13 6m 24s aliao/fancier-popups
aliao/fancier-popups
January 24, 2025 10:13 6m 24s
wip: fancier popups Build #3349: Pull request #449 synchronize by plt-amy
January 24, 2025 10:13 26m 19s aliao/fancier-popups
aliao/fancier-popups
January 24, 2025 10:13 26m 19s
i hate specificity! i hate specificity!! Build #3348: Commit 9ed88c9 pushed by plt-amy
January 24, 2025 10:13 25m 51s aliao/fancier-popups
aliao/fancier-popups
January 24, 2025 10:13 25m 51s
wip: conats Build #3347: Commit d69b2a9 pushed by TOTBWF
January 23, 2025 02:20 1m 37s conat
conat
January 23, 2025 02:20 1m 37s
wip: double categories via display Build #3346: Commit 2fe8f72 pushed by TOTBWF
January 20, 2025 19:56 2m 36s double-categories
double-categories
January 20, 2025 19:56 2m 36s