Skip to content

Actions: ScriptRaccoon/CatDat

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add proof dependencies (WIP) Test Workflow #1195: Pull request #301 synchronize by ScriptRaccoon
10s proof-dependencies
proof-dependencies
10s
Determine some accessibilities of Met Test Workflow #1194: Pull request #297 synchronize by ScriptRaccoon
2m 8s ykawase5048:accessibility-of-met
ykawase5048:accessibility-of-met
2m 8s
Add extremal (co)generating sets and single extremal (co)generators Test Workflow #1193: Pull request #280 synchronize by dschepler
1m 44s dschepler:extremal-generators
dschepler:extremal-generators
1m 44s
Add proof dependencies (WIP) Test Workflow #1192: Pull request #301 opened by ScriptRaccoon
1s proof-dependencies
proof-dependencies
1s
Determine some accessibilities of Met Test Workflow #1191: Pull request #297 synchronize by ScriptRaccoon
1m 49s ykawase5048:accessibility-of-met
ykawase5048:accessibility-of-met
1m 49s
Add extremal (co)generating sets and single extremal (co)generators Test Workflow #1190: Pull request #280 synchronize by dschepler
1m 37s dschepler:extremal-generators
dschepler:extremal-generators
1m 37s
production deployment production deployment #89: Manually run by ScriptRaccoon
1m 39s main
main
1m 39s
add presentation of the walking idempotent Test Workflow #1189: Commit 8afc84c pushed by ScriptRaccoon
1m 43s main
main
1m 43s
regular monos/epis are split in FreeAb Test Workflow #1188: Commit b16cf7a pushed by ScriptRaccoon
1m 39s main
main
1m 39s
Show stored morphisms on category detail page Test Workflow #1187: Pull request #299 synchronize by ScriptRaccoon
1m 42s show-stored-morphisms
show-stored-morphisms
1m 42s
Show stored morphisms on category detail page Test Workflow #1186: Pull request #299 opened by ScriptRaccoon
2m 12s show-stored-morphisms
show-stored-morphisms
2m 12s
Determine some accessibilities of Met Test Workflow #1185: Pull request #297 synchronize by ScriptRaccoon
1m 54s ykawase5048:accessibility-of-met
ykawase5048:accessibility-of-met
1m 54s
Determine some accessibilities of Met Test Workflow #1184: Pull request #297 opened by ykawase5048
1m 40s ykawase5048:accessibility-of-met
ykawase5048:accessibility-of-met
1m 40s
Add strong epimorphisms and strong monomorphisms Test Workflow #1183: Pull request #296 synchronize by ScriptRaccoon
2m 10s strong-epis
strong-epis
2m 10s
Add strong epimorphisms and strong monomorphisms Test Workflow #1182: Pull request #296 synchronize by ScriptRaccoon
1m 54s strong-epis
strong-epis
1m 54s
production deployment production deployment #88: Manually run by ScriptRaccoon
2m 23s main
main
2m 23s
Add strong epimorphisms and strong monomorphisms Test Workflow #1181: Pull request #296 opened by ScriptRaccoon
1m 35s strong-epis
strong-epis
1m 35s
Add extremal (co)generating sets and single extremal (co)generators Test Workflow #1180: Pull request #280 synchronize by dschepler
2m 1s dschepler:extremal-generators
dschepler:extremal-generators
2m 1s
Add extremal (co)generating sets and single extremal (co)generators Test Workflow #1179: Pull request #280 synchronize by dschepler
1m 57s dschepler:extremal-generators
dschepler:extremal-generators
1m 57s
add various end-to-end tests for morphisms Test Workflow #1178: Commit 641caca pushed by ScriptRaccoon
1m 39s main
main
1m 39s
Add various end-to-end tests for morphisms Test Workflow #1177: Pull request #295 opened by ScriptRaccoon
1m 53s end-to-end-tests-for-morphisms
end-to-end-tests-for-morphisms
1m 53s
pluralize info text for undistinguishable pairs Test Workflow #1175: Commit cc46e9d pushed by ScriptRaccoon
1m 34s main
main
1m 34s
Add normal epimorphisms and normal monomorphisms Test Workflow #1174: Pull request #292 synchronize by ScriptRaccoon
1m 24s normal-epis
normal-epis
1m 24s
Add normal epimorphisms and normal monomorphisms Test Workflow #1173: Pull request #292 synchronize by ScriptRaccoon
1m 25s normal-epis
normal-epis
1m 25s
Add normal epimorphisms and normal monomorphisms Test Workflow #1172: Pull request #292 synchronize by ScriptRaccoon
1m 41s normal-epis
normal-epis
1m 41s