Skip to content

Actions: the1lab/1lab

Actions

PR Preview

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
preview.yml
649 workflow runs
649 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump nixpkgs PR Preview #1390: Pull request #570 opened by ncfavier
9m 6s bump-nixpkgs
bump-nixpkgs
9m 6s
introduce total categories PR Preview #1389: Pull request #535 synchronize by plt-amy
5m 19s 4e554c4c:total
4e554c4c:total
5m 19s
Ranges of Natural Numbers PR Preview #1388: Pull request #558 synchronize by TOTBWF
2m 16s ranges
ranges
2m 16s
Ranges of Natural Numbers PR Preview #1387: Pull request #558 synchronize by TOTBWF
2m 15s ranges
ranges
2m 15s
defn: extensionality for ↯ PR Preview #1386: Pull request #569 opened by plt-amy
5m 4s aliao/wait
aliao/wait
5m 4s
introduce total categories PR Preview #1385: Pull request #535 synchronize by plt-amy
2m 10s 4e554c4c:total
4e554c4c:total
2m 10s
introduce total categories PR Preview #1384: Pull request #535 synchronize by plt-amy
2m 21s 4e554c4c:total
4e554c4c:total
2m 21s
introduce total categories PR Preview #1383: Pull request #535 synchronize by plt-amy
4m 57s 4e554c4c:total
4e554c4c:total
4m 57s
chore: cleanup Vec.lookup PR Preview #1382: Pull request #566 synchronize by plt-amy
2m 26s vec-lookup-fix
vec-lookup-fix
2m 26s
defn: fundamental pregroupoids PR Preview #1381: Pull request #568 opened by plt-amy
4m 55s aliao/relax-product-limit
aliao/relax-product-limit
4m 55s
The regular hyperdoctrine of subobjects of a regular category PR Preview #1380: Pull request #563 synchronize by ncfavier
2m 26s subobjects-regular
subobjects-regular
2m 26s
chore: cleanup Vec.lookup PR Preview #1379: Pull request #566 opened by TOTBWF
5m 4s vec-lookup-fix
vec-lookup-fix
5m 4s
Ranges of Natural Numbers PR Preview #1378: Pull request #558 synchronize by TOTBWF
2m 13s ranges
ranges
2m 13s
Proof automation for list membership PR Preview #1377: Pull request #553 synchronize by plt-amy
2m 17s member-macros
member-macros
2m 17s
The regular hyperdoctrine of subobjects of a regular category PR Preview #1376: Pull request #563 synchronize by ncfavier
4m 52s subobjects-regular
subobjects-regular
4m 52s
Ranges of Natural Numbers PR Preview #1375: Pull request #558 synchronize by TOTBWF
2m 46s ranges
ranges
2m 46s
Ranges of Natural Numbers PR Preview #1374: Pull request #558 synchronize by TOTBWF
4m 57s ranges
ranges
4m 57s
Proof automation for list membership PR Preview #1373: Pull request #553 synchronize by TOTBWF
4m 58s member-macros
member-macros
4m 58s
introduce total categories PR Preview #1372: Pull request #535 synchronize by 4e554c4c
2m 11s 4e554c4c:total
4e554c4c:total
2m 11s
introduce total categories PR Preview #1371: Pull request #535 synchronize by 4e554c4c
4m 54s 4e554c4c:total
4e554c4c:total
4m 54s
introduce total categories PR Preview #1370: Pull request #535 synchronize by 4e554c4c
4m 37s 4e554c4c:total
4e554c4c:total
4m 37s
introduce total categories PR Preview #1369: Pull request #535 synchronize by 4e554c4c
4m 42s 4e554c4c:total
4e554c4c:total
4m 42s
Locally graded categories PR Preview #1368: Pull request #542 synchronize by plt-amy
2m 21s locally-graded
locally-graded
2m 21s
chore: clarify indentation style further PR Preview #1367: Pull request #562 synchronize by plt-amy
2m 9s aliao/whitespace-clarifications
aliao/whitespace-clarifications
2m 9s
chore: fix header PR Preview #1366: Pull request #565 synchronize by plt-amy
2m 10s 4e554c4c:header
4e554c4c:header
2m 10s