Skip to content

Actions: ScriptRaccoon/CatDat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,591 workflow runs
1,591 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 the category of uniform spaces Test Workflow #1291: Pull request #312 synchronize by ScriptRaccoon
1s uniform-spaces
uniform-spaces
1s
mark cocompleteness of Meas as non-redundant Test Workflow #1290: Commit a30264e pushed by ScriptRaccoon
1m 39s main
main
1m 39s
Add the category of uniform spaces Test Workflow #1289: Pull request #312 synchronize by ScriptRaccoon
Skipped uniform-spaces
uniform-spaces
Skipped
production deployment production deployment #95: Manually run by ScriptRaccoon
2m 40s main
main
2m 40s
Meas is coregular Test Workflow #1288: Commit bca99f9 pushed by ScriptRaccoon
1m 31s main
main
1m 31s
The category of measurable spaces is regular, and not coaccessible Test Workflow #1287: Pull request #314 synchronize by ScriptRaccoon
1m 47s meas-not-coaccessible
meas-not-coaccessible
1m 47s
The category of measurable spaces is regular, and not coaccessible Test Workflow #1286: Pull request #314 opened by ScriptRaccoon
1m 49s meas-not-coaccessible
meas-not-coaccessible
1m 49s
Add the category of uniform spaces Test Workflow #1285: Pull request #312 synchronize by ScriptRaccoon
9s uniform-spaces
uniform-spaces
9s
add more category relations Test Workflow #1284: Commit 77e984a pushed by ScriptRaccoon
1m 48s main
main
1m 48s
rewording: pullback-stable -> stable under pullbacks; also use plural… Test Workflow #1283: Commit 50844e0 pushed by ScriptRaccoon
1m 44s main
main
1m 44s
Provide details for extensivity proofs Test Workflow #1282: Pull request #313 synchronize by ScriptRaccoon
1m 39s extensive-explanation
extensive-explanation
1m 39s
Provide details for extensivity proofs Test Workflow #1281: Pull request #313 synchronize by ScriptRaccoon
8s extensive-explanation
extensive-explanation
8s
Add total/cototal category properties Test Workflow #1280: Pull request #254 synchronize by dschepler
1m 55s dschepler:total-category
dschepler:total-category
1m 55s
Provide details for extensivity proofs Test Workflow #1279: Pull request #313 synchronize by ScriptRaccoon
1s extensive-explanation
extensive-explanation
1s
Provide details for extensivity proofs Test Workflow #1278: Pull request #313 synchronize by ScriptRaccoon
11s extensive-explanation
extensive-explanation
11s
Provide details for extensivity proofs Test Workflow #1277: Pull request #313 synchronize by ScriptRaccoon
1s extensive-explanation
extensive-explanation
1s
Provide details for extensivity proofs Test Workflow #1276: Pull request #313 synchronize by ScriptRaccoon
1s extensive-explanation
extensive-explanation
1s
Provide details for extensivity proofs Test Workflow #1275: Pull request #313 synchronize by ScriptRaccoon
10s extensive-explanation
extensive-explanation
10s
Provide details for extensivity proofs Test Workflow #1274: Pull request #313 synchronize by ScriptRaccoon
1s extensive-explanation
extensive-explanation
1s
Provide details for extensivity proofs Test Workflow #1273: Pull request #313 synchronize by ScriptRaccoon
1s extensive-explanation
extensive-explanation
1s
Provide details for extensivity proofs Test Workflow #1272: Pull request #313 opened by ScriptRaccoon
3s extensive-explanation
extensive-explanation
3s
production deployment production deployment #94: Manually run by ScriptRaccoon
1m 43s main
main
1m 43s
Add the category of uniform spaces Test Workflow #1271: Pull request #312 synchronize by ScriptRaccoon
10s uniform-spaces
uniform-spaces
10s
Add the category of uniform spaces Test Workflow #1270: Pull request #312 synchronize by ScriptRaccoon
8s uniform-spaces
uniform-spaces
8s
Add the category of uniform spaces Test Workflow #1269: Pull request #312 synchronize by ScriptRaccoon
8s uniform-spaces
uniform-spaces
8s