Skip to content

Actions: ScriptRaccoon/CatDat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
558 workflow runs
558 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
Search: Save selected properties + link properties Test Workflow #325: Pull request #132 opened by ScriptRaccoon
26s improve-search-ux
improve-search-ux
26s
Has effective (co)congruences properties Test Workflow #324: Pull request #126 synchronize by dschepler
2s dschepler:effective-congruences
dschepler:effective-congruences
2s
Add the categories of normed and semi-normed vector spaces Test Workflow #323: Pull request #127 synchronize by ScriptRaccoon
1s normed-vector-spaces
normed-vector-spaces
1s
production deployment production deployment #34: Manually run by ScriptRaccoon
4m 35s main
main
4m 35s
preview deployment preview deployment #55: Manually run by ScriptRaccoon
3m 25s main
main
3m 25s
mention functor tables Test Workflow #322: Commit e219667 pushed by ScriptRaccoon
21s main
main
21s
Database Restructuring Test Workflow #321: Pull request #129 synchronize by ScriptRaccoon
21s database-restructure
database-restructure
21s
Database Restructuring Test Workflow #320: Pull request #129 synchronize by ScriptRaccoon
34s database-restructure
database-restructure
34s
Database Restructuring Test Workflow #319: Pull request #129 synchronize by ScriptRaccoon
1s database-restructure
database-restructure
1s
Has effective (co)congruences properties Test Workflow #318: Pull request #126 synchronize by dschepler
1s dschepler:effective-congruences
dschepler:effective-congruences
1s
Database Restructuring Test Workflow #317: Pull request #129 opened by ScriptRaccoon
1s database-restructure
database-restructure
1s
Has effective (co)congruences properties Test Workflow #316: Pull request #126 synchronize by dschepler
1s dschepler:effective-congruences
dschepler:effective-congruences
1s
add various related properties Test Workflow #315: Commit 2b3e4c1 pushed by ScriptRaccoon
25s main
main
25s
Has effective (co)congruences properties Test Workflow #314: Pull request #126 synchronize by dschepler
1s dschepler:effective-congruences
dschepler:effective-congruences
1s
use display mode where appropriate Test Workflow #313: Commit b4c3b2a pushed by ScriptRaccoon
27s main
main
27s
Support display mode and commutative diagrams Test Workflow #312: Pull request #128 synchronize by ScriptRaccoon
22s displaymode-and-diagrams
displaymode-and-diagrams
22s
Support display mode and commutative diagrams Test Workflow #311: Pull request #128 synchronize by ScriptRaccoon
22s displaymode-and-diagrams
displaymode-and-diagrams
22s
Support display mode and commutative diagrams Test Workflow #310: Pull request #128 synchronize by ScriptRaccoon
24s displaymode-and-diagrams
displaymode-and-diagrams
24s
Support display mode and commutative diagrams Test Workflow #309: Pull request #128 opened by ScriptRaccoon
26s displaymode-and-diagrams
displaymode-and-diagrams
26s
Has effective (co)congruences properties Test Workflow #308: Pull request #126 synchronize by dschepler
1s dschepler:effective-congruences
dschepler:effective-congruences
1s
Has effective (co)congruences properties Test Workflow #307: Pull request #126 synchronize by dschepler
1s dschepler:effective-congruences
dschepler:effective-congruences
1s
Add the categories of normed and semi-normed vector spaces Test Workflow #306: Pull request #127 synchronize by ScriptRaccoon
1s normed-vector-spaces
normed-vector-spaces
1s
Has effective (co)congruences properties Test Workflow #305: Pull request #126 synchronize by dschepler
1s dschepler:effective-congruences
dschepler:effective-congruences
1s
Has effective (co)congruences properties Test Workflow #304: Pull request #126 synchronize by dschepler
1s dschepler:effective-congruences
dschepler:effective-congruences
1s
Has effective (co)congruences properties Test Workflow #303: Pull request #126 synchronize by dschepler
1s dschepler:effective-congruences
dschepler:effective-congruences
1s