Skip to content

Actions: ScriptRaccoon/CatDat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,139 workflow runs
1,139 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
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
Add functor properties: essentially injective / left-invertible Test Workflow #870: Pull request #235 synchronize by ScriptRaccoon
21s reflect-isomorphic-objects
reflect-isomorphic-objects
21s
Add functor properties: essentially injective / left-invertible Test Workflow #869: Pull request #235 synchronize by ScriptRaccoon
21s reflect-isomorphic-objects
reflect-isomorphic-objects
21s
Add functor properties: essentially injective / left-invertible Test Workflow #868: Pull request #235 synchronize by ScriptRaccoon
27s reflect-isomorphic-objects
reflect-isomorphic-objects
27s
Add functor properties: essentially injective / left-invertible Test Workflow #867: Pull request #235 synchronize by ScriptRaccoon
21s reflect-isomorphic-objects
reflect-isomorphic-objects
21s
Add functor properties: essentially injective / left-invertible Test Workflow #866: Pull request #235 synchronize by ScriptRaccoon
21s reflect-isomorphic-objects
reflect-isomorphic-objects
21s
Add functor properties: essentially injective / left-invertible Test Workflow #865: Pull request #235 opened by ScriptRaccoon
21s reflect-isomorphic-objects
reflect-isomorphic-objects
21s
property detail page: change section order Test Workflow #864: Commit ba8ab86 pushed by ScriptRaccoon
26s main
main
26s
production deployment production deployment #68: Manually run by ScriptRaccoon
1m 24s main
main
1m 24s
and the forgetful functor Ring -> Mon and its left adjoint Test Workflow #863: Commit 668a09a pushed by ScriptRaccoon
20s main
main
20s
Add the forgetful functor Ring → Mon and its left adjoint Test Workflow #862: Pull request #233 synchronize by ScriptRaccoon
21s group-ring-functor
group-ring-functor
21s
Add the forgetful functor Ring → Mon and its left adjoint Test Workflow #861: Pull request #233 synchronize by ScriptRaccoon
21s group-ring-functor
group-ring-functor
21s
Add the forgetful functor Ring → Mon and its left adjoint Test Workflow #860: Pull request #233 synchronize by ScriptRaccoon
22s group-ring-functor
group-ring-functor
22s
Add several negative properties of LRS_R deduced from those of Top Test Workflow #859: Pull request #231 synchronize by ScriptRaccoon
24s dschepler:lrs-not-cartesian-closed
dschepler:lrs-not-cartesian-closed
24s
Add several negative properties of LRS_R deduced from those of Top Test Workflow #858: Pull request #231 synchronize by ScriptRaccoon
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 #857: Pull request #231 synchronize by ScriptRaccoon
22s dschepler:lrs-not-cartesian-closed
dschepler:lrs-not-cartesian-closed
22s