Skip to content

Actions: the1lab/1lab

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,053 workflow runs
2,053 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: cleanup Vec.lookup Build #4509: Commit 667f863 pushed by plt-amy
15m 6s vec-lookup-fix
vec-lookup-fix
15m 6s
defn: fundamental pregroupoids Build #4508: Commit d48de47 pushed by plt-amy
15m 44s main
main
15m 44s
defn: fundamental pregroupoids Build #4507: Pull request #568 opened by plt-amy
15m 50s aliao/relax-product-limit
aliao/relax-product-limit
15m 50s
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
defn: fundamental pregroupoids Build #4506: Commit 0370bb5 pushed by plt-amy
15m 32s aliao/relax-product-limit
aliao/relax-product-limit
15m 32s
chore: link to Beck-Chevalley condition Build #4505: Commit ef62ca3 pushed by ncfavier
11m 54s main
main
11m 54s
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
The regular hyperdoctrine of subobjects of a regular category Build #4504: Pull request #563 synchronize by ncfavier
17m 0s subobjects-regular
subobjects-regular
17m 0s
chore: link to Beck-Chevalley condition Build #4503: Commit 9db6711 pushed by ncfavier
16m 29s subobjects-regular
subobjects-regular
16m 29s
chore: cleanup Vec.lookup Build #4502: Pull request #566 opened by TOTBWF
17m 5s vec-lookup-fix
vec-lookup-fix
17m 5s
chore: cleanup Vec.lookup PR Preview #1379: Pull request #566 opened by TOTBWF
5m 4s vec-lookup-fix
vec-lookup-fix
5m 4s
chore: cleanup Vec.lookup Build #4501: Commit 7ea5b4c pushed by TOTBWF
17m 15s vec-lookup-fix
vec-lookup-fix
17m 15s
Ranges of Natural Numbers Build #4500: Pull request #558 synchronize by TOTBWF
16m 57s ranges
ranges
16m 57s
Ranges of Natural Numbers PR Preview #1378: Pull request #558 synchronize by TOTBWF
2m 13s ranges
ranges
2m 13s
fix: remove lower-inj in favor of fin-ap Build #4499: Commit 31aa863 pushed by TOTBWF
16m 56s ranges
ranges
16m 56s
def: automation for list membership (#553) Build #4498: Commit de2acf1 pushed by plt-amy
18m 28s main
main
18m 28s
Proof automation for list membership PR Preview #1377: Pull request #553 synchronize by plt-amy
2m 17s member-macros
member-macros
2m 17s
Proof automation for list membership Build #4497: Pull request #553 synchronize by plt-amy
3m 21s member-macros
member-macros
3m 21s
refactor: split up pattern syns for list patterns and terms Build #4496: Commit 8168b99 pushed by plt-amy
17m 5s member-macros
member-macros
17m 5s
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
The regular hyperdoctrine of subobjects of a regular category Build #4495: Pull request #563 synchronize by ncfavier
10m 53s subobjects-regular
subobjects-regular
10m 53s
chore: link to Beck-Chevalley condition Build #4494: Commit 9296dd0 pushed by ncfavier
11m 6s subobjects-regular
subobjects-regular
11m 6s
Ranges of Natural Numbers Build #4493: Pull request #558 synchronize by TOTBWF
19m 42s ranges
ranges
19m 42s
Ranges of Natural Numbers PR Preview #1375: Pull request #558 synchronize by TOTBWF
2m 46s ranges
ranges
2m 46s
fix: remove lower-inj in favor of fin-ap Build #4492: Commit f8f1692 pushed by TOTBWF
21m 0s ranges
ranges
21m 0s