Skip to content

Actions: the1lab/1lab

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
1,612 workflow runs
1,612 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: only lift ℤ and ℤ/n as needed Build #3080: Commit 7bfe55e pushed by ncfavier
August 27, 2024 11:58 2m 42s ncf/groups
ncf/groups
August 27, 2024 11:58 2m 42s
Basic group theory Build #3079: Pull request #427 opened by ncfavier
August 27, 2024 11:37 19m 19s ncf/groups
ncf/groups
August 27, 2024 11:37 19m 19s
chore: only lift ℤ and ℤ/n as needed Build #3078: Commit 222e8d3 pushed by ncfavier
August 27, 2024 11:30 19m 37s ncf/groups
ncf/groups
August 27, 2024 11:30 19m 37s
fixup type hover (#425) Build #3077: Commit be137c1 pushed by plt-amy
August 24, 2024 15:57 23m 46s main
main
August 24, 2024 15:57 23m 46s
fixup type hover Build #3076: Pull request #425 opened by plt-amy
August 24, 2024 15:20 24m 34s aliao/fixup-type-hover
aliao/fixup-type-hover
August 24, 2024 15:20 24m 34s
get rid of broken attempt at prettifying terms Build #3075: Commit f70b532 pushed by plt-amy
August 24, 2024 15:19 25m 54s aliao/fixup-type-hover
aliao/fixup-type-hover
August 24, 2024 15:19 25m 54s
get rid of broken attempt at prettifying terms Build #3074: Commit 306cf49 pushed by plt-amy
August 24, 2024 15:18 58s aliao/fixup-type-hover
aliao/fixup-type-hover
August 24, 2024 15:18 58s
wip: lovely taboo :) Build #3073: Commit e15afd0 pushed by TOTBWF
August 23, 2024 19:38 17m 2s ordinal
ordinal
August 23, 2024 19:38 17m 2s
wip: some prose on ordinal of prop Build #3072: Commit 3b8788f pushed by TOTBWF
August 22, 2024 22:53 16m 14s ordinal
ordinal
August 22, 2024 22:53 16m 14s
wip: naturality data Build #3071: Commit 4334a73 pushed by TOTBWF
August 21, 2024 14:52 13m 54s functorial-factorization
functorial-factorization
August 21, 2024 14:52 13m 54s
wip: random stuff Build #3070: Commit 776c92a pushed by TOTBWF
August 18, 2024 20:53 18m 19s pca
pca
August 18, 2024 20:53 18m 19s
def: a bit more about P(A) valued predicates Build #3069: Commit 82d953b pushed by TOTBWF
August 18, 2024 18:34 17m 19s pca
pca
August 18, 2024 18:34 17m 19s
def: some nice properties of PCAs Build #3068: Commit 7d4c082 pushed by TOTBWF
August 18, 2024 15:03 17m 31s pca
pca
August 18, 2024 15:03 17m 31s
chore: cleanup P(A) valued predicates Build #3067: Commit 661cdd6 pushed by TOTBWF
August 17, 2024 20:57 17m 18s pca
pca
August 17, 2024 20:57 17m 18s
prose: PCAs, a bit of curry numerals Build #3066: Commit 5c2488a pushed by TOTBWF
August 17, 2024 20:27 17m 0s pca
pca
August 17, 2024 20:27 17m 0s
prose: write prose for PASs Build #3065: Commit 1817638 pushed by TOTBWF
August 16, 2024 19:03 17m 50s pca
pca
August 16, 2024 19:03 17m 50s
Flat records for limits/colimits Build #3064: Pull request #417 synchronize by TOTBWF
August 12, 2024 22:28 19m 23s flat-records-limits
flat-records-limits
August 12, 2024 22:28 19m 23s
chore: fix separators Build #3063: Commit 6d6ca43 pushed by TOTBWF
August 12, 2024 22:28 18m 55s flat-records-limits
flat-records-limits
August 12, 2024 22:28 18m 55s
Flat records for limits/colimits Build #3062: Pull request #417 synchronize by TOTBWF
August 12, 2024 21:37 8m 51s flat-records-limits
flat-records-limits
August 12, 2024 21:37 8m 51s
chore: sort imports Build #3061: Commit 40a0b88 pushed by TOTBWF
August 12, 2024 21:37 9m 7s flat-records-limits
flat-records-limits
August 12, 2024 21:37 9m 7s
Flat records for limits/colimits Build #3060: Pull request #417 synchronize by TOTBWF
August 12, 2024 21:35 47s flat-records-limits
flat-records-limits
August 12, 2024 21:35 47s
Merge remote-tracking branch 'origin/main' into flat-records-limits Build #3059: Commit 2ffdc0a pushed by TOTBWF
August 12, 2024 21:35 2m 44s flat-records-limits
flat-records-limits
August 12, 2024 21:35 2m 44s
wip: misc. fixes Build #3058: Commit f43afbe pushed by TOTBWF
August 12, 2024 21:25 10m 4s flat-records-limits
flat-records-limits
August 12, 2024 21:25 10m 4s
wip: more fixes Build #3057: Commit d3b0081 pushed by TOTBWF
August 12, 2024 00:28 9m 25s flat-records-limits
flat-records-limits
August 12, 2024 00:28 9m 25s
Flat records for limits/colimits Build #3056: Pull request #417 synchronize by TOTBWF
August 11, 2024 22:06 41s flat-records-limits
flat-records-limits
August 11, 2024 22:06 41s