Skip to content

Actions: ScriptRaccoon/CatDat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,170 workflow runs
1,170 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
Schema unification (WIP) Test Workflow #907: Pull request #242 synchronize by ScriptRaccoon
28s unify-schema-step-by-step
unify-schema-step-by-step
28s
Schema unification (WIP) Test Workflow #906: Pull request #242 synchronize by ScriptRaccoon
29s unify-schema-step-by-step
unify-schema-step-by-step
29s
Schema unification (WIP) Test Workflow #905: Pull request #242 synchronize by ScriptRaccoon
22s unify-schema-step-by-step
unify-schema-step-by-step
22s
production deployment production deployment #72: Manually run by ScriptRaccoon
1m 25s main
main
1m 25s
fix: Ring -> Mon does not preserve epis Test Workflow #904: Commit a0390de pushed by ScriptRaccoon
21s main
main
21s
production deployment production deployment #71: Manually run by ScriptRaccoon
1m 23s main
main
1m 23s
remove incorrect proof for well-powered Test Workflow #903: Commit a79ee62 pushed by ScriptRaccoon
27s main
main
27s
Describe epis in LRS Test Workflow #902: Pull request #241 synchronize by ScriptRaccoon
25s epimorphisms-LRS
epimorphisms-LRS
25s
Add several negative properties of LRS_R deduced from those of Top Test Workflow #901: Commit 81c97a4 pushed by ScriptRaccoon
22s main
main
22s
Add several negative properties of LRS_R deduced from those of Top Test Workflow #900: Pull request #231 synchronize by dschepler
22s dschepler:lrs-not-cartesian-closed
dschepler:lrs-not-cartesian-closed
22s
Add several negative properties of LRS_R deduced from those of Top Test Workflow #899: Pull request #231 synchronize by dschepler
24s dschepler:lrs-not-cartesian-closed
dschepler:lrs-not-cartesian-closed
24s
Schema unification (WIP) Test Workflow #898: Pull request #242 opened by ScriptRaccoon
28s unify-schema-step-by-step
unify-schema-step-by-step
28s
Describe epis in LRS Test Workflow #897: Pull request #241 synchronize by ScriptRaccoon
22s epimorphisms-LRS
epimorphisms-LRS
22s
Describe epis in LRS Test Workflow #896: Pull request #241 synchronize by ScriptRaccoon
27s epimorphisms-LRS
epimorphisms-LRS
27s
Describe epis in LRS Test Workflow #895: Pull request #241 opened by ScriptRaccoon
21s epimorphisms-LRS
epimorphisms-LRS
21s
Add several negative properties of LRS_R deduced from those of Top Test Workflow #894: Pull request #231 synchronize by dschepler
25s dschepler:lrs-not-cartesian-closed
dschepler:lrs-not-cartesian-closed
25s
fix link for Top Test Workflow #893: Commit 275de99 pushed by ScriptRaccoon
28s main
main
28s
Add several negative properties of LRS_R deduced from those of Top Test Workflow #892: Pull request #231 synchronize by ScriptRaccoon
29s dschepler:lrs-not-cartesian-closed
dschepler:lrs-not-cartesian-closed
29s
Add several negative properties of LRS_R deduced from those of Top Test Workflow #891: Pull request #231 synchronize by ScriptRaccoon
27s dschepler:lrs-not-cartesian-closed
dschepler:lrs-not-cartesian-closed
27s
Add several negative properties of LRS_R deduced from those of Top Test Workflow #890: Pull request #231 synchronize by dschepler
23s dschepler:lrs-not-cartesian-closed
dschepler:lrs-not-cartesian-closed
23s
Add several negative properties of LRS_R deduced from those of Top Test Workflow #889: Pull request #231 synchronize by dschepler
21s dschepler:lrs-not-cartesian-closed
dschepler:lrs-not-cartesian-closed
21s
Add several negative properties of LRS_R deduced from those of Top Test Workflow #888: Pull request #231 synchronize by dschepler
26s dschepler:lrs-not-cartesian-closed
dschepler:lrs-not-cartesian-closed
26s
Add several negative properties of LRS_R deduced from those of Top Test Workflow #887: Pull request #231 synchronize by dschepler
20s dschepler:lrs-not-cartesian-closed
dschepler:lrs-not-cartesian-closed
20s
avoid type casts via built-in generic for db.prepare Test Workflow #886: Commit 370fa9a pushed by ScriptRaccoon
22s main
main
22s
Refactor queries: avoid type casts Test Workflow #885: Pull request #240 opened by ScriptRaccoon
22s refactor-queries
refactor-queries
22s