Skip to content

Actions: ScriptRaccoon/CatDat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,058 workflow runs
1,058 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
production deployment production deployment #62: Manually run by ScriptRaccoon
1m 32s main
main
1m 32s
little slow down of popup animation Test Workflow #806: Commit 9e05615 pushed by ScriptRaccoon
21s main
main
21s
Various UI improvements Test Workflow #805: Pull request #221 synchronize by ScriptRaccoon
29s selection-focus
selection-focus
29s
Various UI improvements Test Workflow #804: Pull request #221 synchronize by ScriptRaccoon
26s selection-focus
selection-focus
26s
Various UI improvements Test Workflow #803: Pull request #221 opened by ScriptRaccoon
29s selection-focus
selection-focus
29s
rename: reason -> proof Test Workflow #802: Commit d5bdb52 pushed by ScriptRaccoon
21s main
main
21s
Rename: reason -> proof Test Workflow #801: Pull request #220 opened by ScriptRaccoon
23s reason-becomes-proof
reason-becomes-proof
23s
automated source and target restrictions of functor properties Test Workflow #800: Commit bade989 pushed by ScriptRaccoon
21s main
main
21s
Automated source and target restrictions of functor properties Test Workflow #799: Pull request #218 opened by ScriptRaccoon
25s representable-is-restricted-to-Set
representable-is-restricted-to-Set
25s
production deployment production deployment #61: Manually run by ScriptRaccoon
1m 36s main
main
1m 36s
give formal description of regular epimorphisms in PMet Test Workflow #798: Commit 2945954 pushed by ScriptRaccoon
33s main
main
33s
Add missing proofs for FinGrp, FS, Met Test Workflow #797: Pull request #217 synchronize by ScriptRaccoon
21s fin-grp-cocongruences
fin-grp-cocongruences
21s
Add missing proofs for FinGrp, FS, Met Test Workflow #796: Pull request #217 synchronize by ScriptRaccoon
23s fin-grp-cocongruences
fin-grp-cocongruences
23s
Add missing proofs for FinGrp, FS, Met Test Workflow #795: Pull request #217 synchronize by ScriptRaccoon
22s fin-grp-cocongruences
fin-grp-cocongruences
22s
Add missing proofs for FinGrp, FS, Met Test Workflow #794: Pull request #217 synchronize by ScriptRaccoon
24s fin-grp-cocongruences
fin-grp-cocongruences
24s
Add missing proofs for FinGrp, FS, Met Test Workflow #793: Pull request #217 synchronize by ScriptRaccoon
22s fin-grp-cocongruences
fin-grp-cocongruences
22s
Add missing proofs for FinGrp, FS, Met Test Workflow #792: Pull request #217 synchronize by ScriptRaccoon
23s fin-grp-cocongruences
fin-grp-cocongruences
23s
Add missing proofs for FinGrp, FS, Met Test Workflow #791: Pull request #217 synchronize by ScriptRaccoon
27s fin-grp-cocongruences
fin-grp-cocongruences
27s
Add missing proofs for FinGrp, FS, Met Test Workflow #790: Pull request #217 opened by ScriptRaccoon
30s fin-grp-cocongruences
fin-grp-cocongruences
30s
mention alternative proof for missing generators for SetxSet and Sp Test Workflow #789: Commit f776468 pushed by ScriptRaccoon
33s main
main
33s
Sh(X) never has a generator (unless X has the indiscrete topology) Test Workflow #788: Pull request #210 synchronize by ScriptRaccoon
29s dschepler:sheaves-no-generator
dschepler:sheaves-no-generator
29s
Sh(X) never has a generator (unless X has the indiscrete topology) Test Workflow #787: Pull request #210 synchronize by dschepler
24s dschepler:sheaves-no-generator
dschepler:sheaves-no-generator
24s
production deployment production deployment #60: Manually run by ScriptRaccoon
1m 22s main
main
1m 22s
Meas is not regular Test Workflow #786: Commit 65f0759 pushed by ScriptRaccoon
23s main
main
23s
Meas is not regular Test Workflow #785: Pull request #216 opened by ScriptRaccoon
21s Meas-not-regular
Meas-not-regular
21s