Skip to content

Actions: the1lab/1lab

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Two-sided fibrations Build #3345: Pull request #456 synchronize by TOTBWF
January 17, 2025 18:04 2m 42s 2-sided-fibration
2-sided-fibration
January 17, 2025 18:04 2m 42s
Two-sided fibrations PR Preview #831: Pull request #456 synchronize by TOTBWF
January 17, 2025 18:04 1m 44s 2-sided-fibration
2-sided-fibration
January 17, 2025 18:04 1m 44s
chore: formatting pass Build #3344: Commit 50b67cf pushed by TOTBWF
January 17, 2025 18:04 2m 41s 2-sided-fibration
2-sided-fibration
January 17, 2025 18:04 2m 41s
Discrete cocartesian fibrations PR Preview #830: Pull request #458 synchronize by TOTBWF
January 17, 2025 16:22 1m 31s discrete-cocartesian
discrete-cocartesian
January 17, 2025 16:22 1m 31s
Discrete cocartesian fibrations Build #3343: Pull request #458 synchronize by TOTBWF
January 17, 2025 16:22 2m 49s discrete-cocartesian
discrete-cocartesian
January 17, 2025 16:22 2m 49s
prose: prose fixes Build #3342: Commit 3c4923d pushed by TOTBWF
January 17, 2025 16:22 2m 53s discrete-cocartesian
discrete-cocartesian
January 17, 2025 16:22 2m 53s
Discrete cocartesian fibrations Build #3341: Pull request #458 synchronize by TOTBWF
January 17, 2025 14:48 2m 54s discrete-cocartesian
discrete-cocartesian
January 17, 2025 14:48 2m 54s
Discrete cocartesian fibrations PR Preview #829: Pull request #458 synchronize by TOTBWF
January 17, 2025 14:48 6m 33s discrete-cocartesian
discrete-cocartesian
January 17, 2025 14:48 6m 33s
prose: forgot an "op" Build #3340: Commit 243143c pushed by TOTBWF
January 17, 2025 14:48 3m 5s discrete-cocartesian
discrete-cocartesian
January 17, 2025 14:48 3m 5s
Discrete cocartesian fibrations PR Preview #828: Pull request #458 opened by TOTBWF
January 17, 2025 14:47 2m 7s discrete-cocartesian
discrete-cocartesian
January 17, 2025 14:47 2m 7s
Discrete cocartesian fibrations Build #3339: Pull request #458 opened by TOTBWF
January 17, 2025 14:47 52s discrete-cocartesian
discrete-cocartesian
January 17, 2025 14:47 52s
def: discrete cocartesian fibrations Build #3338: Commit cfceae8 pushed by TOTBWF
January 17, 2025 14:43 1m 46s discrete-cocartesian
discrete-cocartesian
January 17, 2025 14:43 1m 46s
Two-sided fibrations PR Preview #827: Pull request #456 synchronize by TOTBWF
January 16, 2025 16:07 1m 32s 2-sided-fibration
2-sided-fibration
January 16, 2025 16:07 1m 32s
Two-sided fibrations Build #3337: Pull request #456 synchronize by TOTBWF
January 16, 2025 16:07 21m 41s 2-sided-fibration
2-sided-fibration
January 16, 2025 16:07 21m 41s
chore: use Biimp in definition of two-sided fibrations Build #3336: Commit c04952f pushed by TOTBWF
January 16, 2025 16:07 20m 58s 2-sided-fibration
2-sided-fibration
January 16, 2025 16:07 20m 58s
def: define biimplications (#457) Build #3335: Commit 5eab18d pushed by TOTBWF
January 16, 2025 01:50 20m 28s main
main
January 16, 2025 01:50 20m 28s
def: define biimplications Build #3334: Pull request #457 synchronize by TOTBWF
January 15, 2025 15:13 20m 13s biimplication
biimplication
January 15, 2025 15:13 20m 13s
def: define biimplications PR Preview #826: Pull request #457 synchronize by TOTBWF
January 15, 2025 15:13 1m 32s biimplication
biimplication
January 15, 2025 15:13 1m 32s
prose: further prose tweaks Build #3333: Commit 722c88b pushed by TOTBWF
January 15, 2025 15:13 19m 37s biimplication
biimplication
January 15, 2025 15:13 19m 37s
def: define biimplications Build #3332: Pull request #457 synchronize by TOTBWF
January 15, 2025 14:47 19m 46s biimplication
biimplication
January 15, 2025 14:47 19m 46s
def: define biimplications PR Preview #825: Pull request #457 synchronize by TOTBWF
January 15, 2025 14:47 1m 35s biimplication
biimplication
January 15, 2025 14:47 1m 35s
chore: sort imports Build #3331: Commit 0ac7485 pushed by TOTBWF
January 15, 2025 14:47 20m 27s biimplication
biimplication
January 15, 2025 14:47 20m 27s