Skip to content

Actions: ScriptRaccoon/CatDat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,154 workflow runs
1,154 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
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
production deployment production deployment #70: Manually run by ScriptRaccoon
1m 21s main
main
1m 21s
record database downloads Test Workflow #884: Commit 44071f2 pushed by ScriptRaccoon
27s main
main
27s
Record database downloads Test Workflow #883: Pull request #239 opened by ScriptRaccoon
22s user-actions
user-actions
22s
extract separate proof length script Test Workflow #882: Commit f571ef3 pushed by ScriptRaccoon
21s main
main
21s
Extract separate proof length script Test Workflow #881: Pull request #238 opened by ScriptRaccoon
21s separate-proof-length-script
separate-proof-length-script
21s
combine content pages about descending properties Test Workflow #880: Commit c42be8b pushed by ScriptRaccoon
21s main
main
21s
Combine content pages about subcategories Test Workflow #879: Pull request #237 opened by ScriptRaccoon
23s subcategories-results
subcategories-results
23s
production deployment production deployment #69: Manually run by ScriptRaccoon
1m 26s main
main
1m 26s
decide properties (left-inv. + ess. injective) for all functors Test Workflow #878: Commit c8206ad pushed by ScriptRaccoon
21s main
main
21s
Add functor properties: essentially injective / left-invertible Test Workflow #877: Pull request #235 synchronize by ScriptRaccoon
21s reflect-isomorphic-objects
reflect-isomorphic-objects
21s
choose more expressive names Test Workflow #876: Commit 3158c0b pushed by ScriptRaccoon
22s main
main
22s
Expand page with missing data Test Workflow #875: Pull request #236 synchronize by ScriptRaccoon
21s expand-missing-data-page
expand-missing-data-page
21s
Expand page with missing data Test Workflow #874: Pull request #236 synchronize by ScriptRaccoon
22s expand-missing-data-page
expand-missing-data-page
22s
Expand page with missing data Test Workflow #873: Pull request #236 opened by ScriptRaccoon
27s expand-missing-data-page
expand-missing-data-page
27s
Add functor properties: essentially injective / left-invertible Test Workflow #872: Pull request #235 synchronize by ScriptRaccoon
21s reflect-isomorphic-objects
reflect-isomorphic-objects
21s
Add functor properties: essentially injective / left-invertible Test Workflow #871: Pull request #235 synchronize by ScriptRaccoon
27s reflect-isomorphic-objects
reflect-isomorphic-objects
27s