Skip to content

Actions: ScriptRaccoon/CatDat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,523 workflow runs
1,523 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 extremal (co)generating sets and single extremal (co)generators Test Workflow #1227: Pull request #280 synchronize by dschepler
1m 37s dschepler:extremal-generators
dschepler:extremal-generators
1m 37s
Add extremal (co)generating sets and single extremal (co)generators Test Workflow #1226: Pull request #280 synchronize by dschepler
1m 55s dschepler:extremal-generators
dschepler:extremal-generators
1m 55s
Add extremal (co)generating sets and single extremal (co)generators Test Workflow #1225: Pull request #280 synchronize by dschepler
1m 57s dschepler:extremal-generators
dschepler:extremal-generators
1m 57s
Add more examples of functors to witness property combinations Test Workflow #1224: Pull request #306 synchronize by ScriptRaccoon
1m 53s torsion-free-inclusion
torsion-free-inclusion
1m 53s
Add more examples of functors to witness property combinations Test Workflow #1223: Pull request #306 synchronize by ScriptRaccoon
1m 34s torsion-free-inclusion
torsion-free-inclusion
1m 34s
Add extremal (co)generating sets and single extremal (co)generators Test Workflow #1222: Pull request #280 synchronize by ScriptRaccoon
1m 51s dschepler:extremal-generators
dschepler:extremal-generators
1m 51s
production deployment production deployment #91: Manually run by ScriptRaccoon
1m 36s main
main
1m 36s
Add more examples of functors to witness property combinations Test Workflow #1221: Pull request #306 synchronize by ScriptRaccoon
1m 36s torsion-free-inclusion
torsion-free-inclusion
1m 36s
Add more examples of functors to witness property combinations Test Workflow #1220: Pull request #306 synchronize by ScriptRaccoon
1m 39s torsion-free-inclusion
torsion-free-inclusion
1m 39s
Add more examples of functors to witness property combinations Test Workflow #1219: Pull request #306 opened by ScriptRaccoon
1m 42s torsion-free-inclusion
torsion-free-inclusion
1m 42s
add the span endpoints inclusion functor Test Workflow #1218: Commit 3463a19 pushed by ScriptRaccoon
1m 49s main
main
1m 49s
Add various examples of functors to witness property combinations Test Workflow #1217: Pull request #305 synchronize by ScriptRaccoon
1m 37s functor-combinations
functor-combinations
1m 37s
Add various examples of functors to witness property combinations Test Workflow #1216: Pull request #305 synchronize by ScriptRaccoon
1m 50s functor-combinations
functor-combinations
1m 50s
Add extremal (co)generating sets and single extremal (co)generators Test Workflow #1215: Pull request #280 synchronize by dschepler
1m 42s dschepler:extremal-generators
dschepler:extremal-generators
1m 42s
Add various examples of functors to witness property combinations Test Workflow #1214: Pull request #305 synchronize by ScriptRaccoon
1m 40s functor-combinations
functor-combinations
1m 40s
Add various examples of functors to witness property combinations Test Workflow #1213: Pull request #305 opened by ScriptRaccoon
1m 41s functor-combinations
functor-combinations
1m 41s
Add extremal (co)generating sets and single extremal (co)generators Test Workflow #1212: Pull request #280 synchronize by dschepler
1m 36s dschepler:extremal-generators
dschepler:extremal-generators
1m 36s
Add extremal (co)generating sets and single extremal (co)generators Test Workflow #1211: Pull request #280 synchronize by dschepler
1m 44s dschepler:extremal-generators
dschepler:extremal-generators
1m 44s
Met_c is not regular Test Workflow #1210: Commit 0421286 pushed by ScriptRaccoon
1m 35s main
main
1m 35s
Met_c is not regular Test Workflow #1209: Pull request #303 synchronize by ScriptRaccoon
1m 38s Met_c-is-not-regular
Met_c-is-not-regular
1m 38s
Met_c is not regular Test Workflow #1208: Pull request #303 synchronize by ScriptRaccoon
1m 57s Met_c-is-not-regular
Met_c-is-not-regular
1m 57s
Met_c is not regular Test Workflow #1207: Pull request #303 opened by ScriptRaccoon
2m 12s Met_c-is-not-regular
Met_c-is-not-regular
2m 12s
Add extremal (co)generating sets and single extremal (co)generators Test Workflow #1206: Pull request #280 synchronize by dschepler
1m 45s dschepler:extremal-generators
dschepler:extremal-generators
1m 45s
Add proof dependencies (WIP) Test Workflow #1205: Pull request #301 synchronize by ScriptRaccoon
1s proof-dependencies
proof-dependencies
1s
Add proof dependencies (WIP) Test Workflow #1204: Pull request #301 synchronize by ScriptRaccoon
1s proof-dependencies
proof-dependencies
1s