Skip to content

Actions: ScriptRaccoon/CatDat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,772 workflow runs
1,772 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 #108: Manually run by ScriptRaccoon
2m 6s main
main
2m 6s
Add an example of a cocomplete category without equalizers Test Workflow #1458: Pull request #340 synchronize by ScriptRaccoon
7s example-cocomplete-no-equalizers
example-cocomplete-no-equalizers
7s
Add an example of a cocomplete category without equalizers Test Workflow #1457: Pull request #340 synchronize by ScriptRaccoon
7s example-cocomplete-no-equalizers
example-cocomplete-no-equalizers
7s
add qed-clear to fix spacing issue for lonely qed symbols Test Workflow #1456: Commit b3f2aa6 pushed by ScriptRaccoon
5m 57s main
main
5m 57s
Support proof environments Test Workflow #1455: Pull request #341 opened by ScriptRaccoon
4m 1s proof-environments
proof-environments
4m 1s
Add an example of a cocomplete category without equalizers Test Workflow #1454: Pull request #340 synchronize by ScriptRaccoon
1s example-cocomplete-no-equalizers
example-cocomplete-no-equalizers
1s
Add an example of a cocomplete category without equalizers Test Workflow #1453: Pull request #340 synchronize by ScriptRaccoon
1s example-cocomplete-no-equalizers
example-cocomplete-no-equalizers
1s
Add an example of a cocomplete category without equalizers Test Workflow #1452: Pull request #340 synchronize by ScriptRaccoon
9s example-cocomplete-no-equalizers
example-cocomplete-no-equalizers
9s
Add an example of a cocomplete category without equalizers Test Workflow #1451: Pull request #340 synchronize by ScriptRaccoon
1s example-cocomplete-no-equalizers
example-cocomplete-no-equalizers
1s
Add an example of a cocomplete category without equalizers Test Workflow #1450: Pull request #340 synchronize by ScriptRaccoon
1s example-cocomplete-no-equalizers
example-cocomplete-no-equalizers
1s
Add an example of a cocomplete category without equalizers Test Workflow #1449: Pull request #340 synchronize by ScriptRaccoon
1s example-cocomplete-no-equalizers
example-cocomplete-no-equalizers
1s
Add an example of a cocomplete category without equalizers Test Workflow #1448: Pull request #340 synchronize by ScriptRaccoon
7s example-cocomplete-no-equalizers
example-cocomplete-no-equalizers
7s
Add an example of a cocomplete category without equalizers Test Workflow #1447: Pull request #340 synchronize by ScriptRaccoon
1s example-cocomplete-no-equalizers
example-cocomplete-no-equalizers
1s
Add an example of a cocomplete category without equalizers Test Workflow #1446: Pull request #340 opened by ScriptRaccoon
1s example-cocomplete-no-equalizers
example-cocomplete-no-equalizers
1s
strengthen the connection between distributivity and parametrized NNOs Test Workflow #1445: Commit e9e89db pushed by ScriptRaccoon
6h 0m 18s main
main
6h 0m 18s
Add natural numbers objects without parameters Test Workflow #1444: Pull request #339 synchronize by ScriptRaccoon
2m 0s NNO-parameters
NNO-parameters
2m 0s
Add natural numbers objects without parameters Test Workflow #1443: Pull request #339 synchronize by ScriptRaccoon
2m 7s NNO-parameters
NNO-parameters
2m 7s
Add natural numbers objects without parameters Test Workflow #1442: Pull request #339 synchronize by ScriptRaccoon
1m 56s NNO-parameters
NNO-parameters
1m 56s
Add natural numbers objects without parameters Test Workflow #1441: Pull request #339 synchronize by ScriptRaccoon
4m 0s NNO-parameters
NNO-parameters
4m 0s
Add natural numbers objects without parameters Test Workflow #1440: Pull request #339 synchronize by ScriptRaccoon
2m 0s NNO-parameters
NNO-parameters
2m 0s
Add natural numbers objects without parameters Test Workflow #1439: Pull request #339 synchronize by ScriptRaccoon
2m 24s NNO-parameters
NNO-parameters
2m 24s
Add natural numbers objects without parameters Test Workflow #1438: Pull request #339 opened by ScriptRaccoon
2m 5s NNO-parameters
NNO-parameters
2m 5s
production deployment production deployment #107: Manually run by ScriptRaccoon
1m 59s main
main
1m 59s
remove proof length script Test Workflow #1437: Commit 9806e33 pushed by ScriptRaccoon
2m 9s main
main
2m 9s
Content pages for reusable content only Test Workflow #1436: Pull request #338 opened by ScriptRaccoon
2m 2s content-pages-for-lemmas-only
content-pages-for-lemmas-only
2m 2s