Skip to content

Actions: ScriptRaccoon/CatDat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,230 workflow runs
2,230 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 property of every regular congruence being effective (and its dual) Test Workflow #1800: Pull request #420 opened by dschepler
1s dschepler:effective-regular-congruences
dschepler:effective-regular-congruences
1s
Fix mistakes on content pages Test Workflow #1799: Pull request #418 synchronize by ScriptRaccoon
9s content-page-fixes
content-page-fixes
9s
PR #418 CodeQL #112: by ScriptRaccoon
53s refs/pull/418/head
refs/pull/418/head
53s
production deployment production deployment #132: Manually run by ScriptRaccoon
1m 53s main
main
1m 53s
fix result on regular extensive categories Test Workflow #1798: Commit a43693d pushed by ScriptRaccoon
2m 53s main
main
2m 53s
Push on main CodeQL #111: by ScriptRaccoon
1m 18s main
main
1m 18s
Fix result on regular extensive categories Test Workflow #1797: Pull request #419 opened by ScriptRaccoon
2m 2s fix-result-extensive-regular
fix-result-extensive-regular
2m 2s
PR #419 CodeQL #110: by ScriptRaccoon
1m 6s refs/pull/419/head
refs/pull/419/head
1m 6s
Fix mistakes on content pages Test Workflow #1796: Pull request #418 synchronize by ScriptRaccoon
7s content-page-fixes
content-page-fixes
7s
PR #418 CodeQL #109: by ScriptRaccoon
56s refs/pull/418/head
refs/pull/418/head
56s
content references also look for proofs of special morphisms Test Workflow #1795: Commit 5e81040 pushed by ScriptRaccoon
2m 0s main
main
2m 0s
Push on main CodeQL #108: by ScriptRaccoon
1m 23s main
main
1m 23s
leave GitHub issue link in suggestion form Test Workflow #1794: Commit 7be032a pushed by ScriptRaccoon
2m 52s main
main
2m 52s
Push on main CodeQL #107: by ScriptRaccoon
1m 27s main
main
1m 27s
add more references of the lemma on regular epis Test Workflow #1793: Commit 98a7ea3 pushed by ScriptRaccoon
2m 42s main
main
2m 42s
Push on main CodeQL #106: by ScriptRaccoon
1m 27s main
main
1m 27s
Add the category of finitely generated groups Test Workflow #1792: Pull request #396 synchronize by ScriptRaccoon
2m 57s finitely-generated-groups
finitely-generated-groups
2m 57s
PR #396 CodeQL #105: by ScriptRaccoon
51s refs/pull/396/head
refs/pull/396/head
51s
Add the category of finitely generated groups Test Workflow #1791: Pull request #396 synchronize by ScriptRaccoon
2m 51s finitely-generated-groups
finitely-generated-groups
2m 51s
PR #396 CodeQL #104: by ScriptRaccoon
59s refs/pull/396/head
refs/pull/396/head
59s
Add the category of finitely generated groups Test Workflow #1790: Pull request #396 synchronize by ScriptRaccoon
1s finitely-generated-groups
finitely-generated-groups
1s
PR #396 CodeQL #103: by ScriptRaccoon
59s refs/pull/396/head
refs/pull/396/head
59s
fix spacing issues with \id Test Workflow #1789: Commit ff8c690 pushed by ScriptRaccoon
2m 25s main
main
2m 25s
Push on main CodeQL #102: by ScriptRaccoon
1m 30s main
main
1m 30s
Fix mistakes on content pages Test Workflow #1788: Pull request #418 opened by ScriptRaccoon
1s content-page-fixes
content-page-fixes
1s