Skip to content

Actions: ZRTMRH/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #36: completed by ZRTMRH
1s
1s
style(Combinatorics/Quiver/Schreier): minor polish to reachability pr… Run pre-commit and in-place update PR on push #35: Commit 3ae8383 pushed by ZRTMRH
25s schreier-word-eval
schreier-word-eval
25s
style(Combinatorics/Quiver/Schreier): minor polish to reachability pr… continuous integration #36: Commit 3ae8383 pushed by ZRTMRH
1s schreier-word-eval
schreier-word-eval
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #35: completed by ZRTMRH
1s
1s
style(Combinatorics/Quiver/Schreier): simplify word eval and path con… continuous integration #35: Commit d321fcc pushed by ZRTMRH
1s schreier-word-eval
schreier-word-eval
1s
style(Combinatorics/Quiver/Schreier): simplify word eval and path con… Run pre-commit and in-place update PR on push #34: Commit d321fcc pushed by ZRTMRH
21s schreier-word-eval
schreier-word-eval
21s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #34: completed by ZRTMRH
1s
1s
feat(Combinatorics/Quiver/Schreier): path construction and reachability continuous integration #34: Commit a8f0fa5 pushed by ZRTMRH
1s schreier-word-eval
schreier-word-eval
1s
feat(Combinatorics/Quiver/Schreier): path construction and reachability Run pre-commit and in-place update PR on push #33: Commit a8f0fa5 pushed by ZRTMRH
30s schreier-word-eval
schreier-word-eval
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #33: completed by ZRTMRH
2s
2s
feat(Combinatorics/Quiver/Schreier): add word evaluation Run pre-commit and in-place update PR on push #32: Commit 7f6d086 pushed by ZRTMRH
29s schreier-word-eval
schreier-word-eval
29s
feat(Combinatorics/Quiver/Schreier): add word evaluation continuous integration #33: Commit 7f6d086 pushed by ZRTMRH
2s schreier-word-eval
schreier-word-eval
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #32: completed by ZRTMRH
1s
1s
Merge branch 'master' into schreier-basics continuous integration #32: Commit 8616a1e pushed by ZRTMRH
1s schreier-basics
schreier-basics
1s
Merge branch 'master' into schreier-basics Run pre-commit and in-place update PR on push #31: Commit 8616a1e pushed by ZRTMRH
25s schreier-basics
schreier-basics
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #31: completed by ZRTMRH
1s
1s
refactor(Combinatorics/Quiver/Schreier): address review suggestions continuous integration #31: Commit f31b21a pushed by ZRTMRH
1s schreier-basics
schreier-basics
1s
refactor(Combinatorics/Quiver/Schreier): address review suggestions Run pre-commit and in-place update PR on push #30: Commit f31b21a pushed by ZRTMRH
27s schreier-basics
schreier-basics
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #30: completed by ZRTMRH
1s
1s
Merge branch 'master' into schreier-basics continuous integration #30: Commit 70e897c pushed by ZRTMRH
1s schreier-basics
schreier-basics
1s
Merge branch 'master' into schreier-basics Run pre-commit and in-place update PR on push #29: Commit 70e897c pushed by ZRTMRH
29s schreier-basics
schreier-basics
29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #29: completed by ZRTMRH
1s
1s
refactor(Combinatorics): address reviewer comments on SchreierGraph Run pre-commit and in-place update PR on push #28: Commit 23a22ea pushed by ZRTMRH
25s schreier-basics
schreier-basics
25s
refactor(Combinatorics): address reviewer comments on SchreierGraph continuous integration #29: Commit 23a22ea pushed by ZRTMRH
1s schreier-basics
schreier-basics
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #28: completed by ZRTMRH
1s
1s