Skip to content

Actions: ScriptRaccoon/CatDat

Actions

Test Workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yaml
839 workflow runs
839 workflow runs

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 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
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
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
Add pretopos property Test Workflow #856: Commit a84a92a pushed by ScriptRaccoon
20s main
main
20s