Skip to content

Actions: dicipler-pixel/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
501 workflow runs
501 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
Zulip emoji reconcile Zulip emoji reconcile #136: completed by dicipler-pixel
1s
1s
Declarations diff (post-build) Declarations diff (post-build) #68: completed by dicipler-pixel
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #68: completed by dicipler-pixel
2s
2s
Export workflow telemetry Export workflow telemetry #68: completed by dicipler-pixel
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #135: requested by dicipler-pixel
1s
1s
style: remove simp attribute from private Coxeter helper continuous integration #68: Commit 08e259a pushed by dicipler-pixel
8s feat/coxeter-i2-dihedral
feat/coxeter-i2-dihedral
8s
style: remove simp attribute from private Coxeter helper Run pre-commit and in-place update PR on push #68: Commit 08e259a pushed by dicipler-pixel
24s feat/coxeter-i2-dihedral
feat/coxeter-i2-dihedral
24s
Declarations diff (post-build) Declarations diff (post-build) #67: completed by dicipler-pixel
7s
7s
Export workflow telemetry Export workflow telemetry #67: completed by dicipler-pixel
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #134: completed by dicipler-pixel
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #67: completed by dicipler-pixel
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #133: requested by dicipler-pixel
9s
9s
Add projector overlap quadratic development continuous integration #67: Commit aaa68ce pushed by dicipler-pixel
1s projector-overlap-development
projector-overlap-development
1s
Add projector overlap quadratic development Run pre-commit and in-place update PR on push #67: Commit aaa68ce pushed by dicipler-pixel
31s projector-overlap-development
projector-overlap-development
31s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #66: completed by dicipler-pixel
2s
2s
Zulip emoji reconcile Zulip emoji reconcile #132: completed by dicipler-pixel
2s
2s
Declarations diff (post-build) Declarations diff (post-build) #66: completed by dicipler-pixel
2s
2s
Export workflow telemetry Export workflow telemetry #66: completed by dicipler-pixel
7s
7s
Zulip emoji reconcile Zulip emoji reconcile #131: requested by dicipler-pixel
7s
7s
chore: add missing to_additive docstrings in Topology, Geometry and… continuous integration #66: Commit 04c9bc8 pushed by dicipler-pixel
3s projector-overlap-development
projector-overlap-development
3s
chore: add missing to_additive docstrings in Topology, Geometry and… Run pre-commit and in-place update PR on push #66: Commit 04c9bc8 pushed by dicipler-pixel
31s projector-overlap-development
projector-overlap-development
31s
Declarations diff (post-build) Declarations diff (post-build) #65: completed by dicipler-pixel
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #65: completed by dicipler-pixel
7s
7s
Export workflow telemetry Export workflow telemetry #65: completed by dicipler-pixel
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #130: completed by dicipler-pixel
8s
8s