Skip to content

Actions: ToposInstitute/CatColab

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,256 workflow runs
6,256 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

deploy deploy #3678: completed by KevinDCarlson
1m 12s
1m 12s
Notebook elaboration for equality types ci #3696: Pull request #1061 synchronize by KevinDCarlson
5m 32s notebook_elaborator
notebook_elaborator
5m 32s
Notebook elaboration for equality types build #512: Pull request #1061 synchronize by KevinDCarlson
2m 55s notebook_elaborator
notebook_elaborator
2m 55s
deploy deploy #3677: completed by KevinDCarlson
2s
2s
deploy deploy #3676: completed by KevinDCarlson
1s
1s
Notebook elaboration for equality types ci #3695: Pull request #1061 synchronize by KevinDCarlson
4m 26s notebook_elaborator
notebook_elaborator
4m 26s
Notebook elaboration for equality types build #511: Pull request #1061 synchronize by KevinDCarlson
1m 6s notebook_elaborator
notebook_elaborator
1m 6s
Instance morphism docs build #510: Pull request #1116 synchronize by KevinDCarlson
5m 17s instance-morphism-docs
instance-morphism-docs
5m 17s
Instance morphism docs ci #3694: Pull request #1116 synchronize by KevinDCarlson
11m 18s instance-morphism-docs
instance-morphism-docs
11m 18s
deploy deploy #3675: completed by kasbah
40s
40s
Replace biome with oxlint and oxfmt build #509: Pull request #1146 synchronize by kasbah
37s kb/oxlint
kb/oxlint
37s
Replace biome with oxlint and oxfmt ci #3693: Pull request #1146 synchronize by kasbah
3m 19s kb/oxlint
kb/oxlint
3m 19s
deploy deploy #3674: completed by kasbah
44s
44s
Replace biome with oxlint and oxfmt ci #3692: Pull request #1146 synchronize by kasbah
3m 15s kb/oxlint
kb/oxlint
3m 15s
Replace biome with oxlint and oxfmt build #508: Pull request #1146 synchronize by kasbah
42s kb/oxlint
kb/oxlint
42s
deploy deploy #3673: completed by kasbah
40s
40s
Replace biome with oxlint and oxfmt build #507: Pull request #1146 synchronize by kasbah
40s kb/oxlint
kb/oxlint
40s
Replace biome with oxlint and oxfmt ci #3691: Pull request #1146 synchronize by kasbah
3m 5s kb/oxlint
kb/oxlint
3m 5s
deploy deploy #3672: completed by kasbah
45s
45s
Replace biome with oxlint and oxfmt build #506: Pull request #1146 synchronize by kasbah
36s kb/oxlint
kb/oxlint
36s
Replace biome with oxlint and oxfmt ci #3690: Pull request #1146 synchronize by kasbah
3m 12s kb/oxlint
kb/oxlint
3m 12s
deploy deploy #3671: completed by kasbah
1m 17s
1m 17s
deploy deploy #3670: completed by kasbah
1m 9s
1m 9s
Replace biome with oxlint and oxfmt build #505: Pull request #1146 synchronize by kasbah
2m 52s kb/oxlint
kb/oxlint
2m 52s
Replace biome with oxlint and oxfmt ci #3689: Pull request #1146 synchronize by kasbah
3m 8s kb/oxlint
kb/oxlint
3m 8s