Skip to content

Actions: KevorkianPhilippe/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 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
Declarations diff (post-build) Declarations diff (post-build) #5: completed by KevorkianPhilippe
Skipped
Skipped
Zulip emoji reconcile Zulip emoji reconcile #10: completed by KevorkianPhilippe
8s
8s
Export workflow telemetry Export workflow telemetry #5: completed by KevorkianPhilippe
Skipped
Skipped
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5: completed by KevorkianPhilippe
9s
9s
Zulip emoji reconcile Zulip emoji reconcile #9: requested by KevorkianPhilippe
1s
1s
chore: blank line between the public imports and the private one continuous integration #5: Commit 22edb08 pushed by KevorkianPhilippe
1s kevorkianphilippe/binomialRandom-edge-count
kevorkianphilippe/binomialRandom-edge-count
1s
chore: blank line between the public imports and the private one Run pre-commit and in-place update PR on push #5: Commit 22edb08 pushed by KevorkianPhilippe
30s kevorkianphilippe/binomialRandom-edge-count
kevorkianphilippe/binomialRandom-edge-count
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by KevorkianPhilippe
9s
9s
Zulip emoji reconcile Zulip emoji reconcile #8: completed by KevorkianPhilippe
1s
1s
Declarations diff (post-build) Declarations diff (post-build) #4: completed by KevorkianPhilippe
1s
1s
Export workflow telemetry Export workflow telemetry #4: completed by KevorkianPhilippe
Skipped
Skipped
Zulip emoji reconcile Zulip emoji reconcile #7: requested by KevorkianPhilippe
1s
1s
chore: apply review suggestions of SnirBroshi continuous integration #4: Commit cf7971c pushed by KevorkianPhilippe
8s kevorkianphilippe/binomialRandom-edge-count
kevorkianphilippe/binomialRandom-edge-count
8s
chore: apply review suggestions of SnirBroshi Run pre-commit and in-place update PR on push #4: Commit cf7971c pushed by KevorkianPhilippe
25s kevorkianphilippe/binomialRandom-edge-count
kevorkianphilippe/binomialRandom-edge-count
25s
Declarations diff (post-build) Declarations diff (post-build) #3: completed by KevorkianPhilippe
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3: completed by KevorkianPhilippe
Skipped
Skipped
Export workflow telemetry Export workflow telemetry #3: completed by KevorkianPhilippe
8s
8s
Zulip emoji reconcile Zulip emoji reconcile #6: completed by KevorkianPhilippe
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #5: requested by KevorkianPhilippe
1s
1s
feat(Algebra/Lie/Extension): central extensions and equivalences of e… continuous integration #3: Commit 628c55f pushed by KevorkianPhilippe
1s kevorkianphilippe/lie-central-extension
kevorkianphilippe/lie-central-extension
1s
feat(Algebra/Lie/Extension): central extensions and equivalences of e… Run pre-commit and in-place update PR on push #3: Commit 628c55f pushed by KevorkianPhilippe
27s kevorkianphilippe/lie-central-extension
kevorkianphilippe/lie-central-extension
27s
Declarations diff (post-build) Declarations diff (post-build) #2: completed by KevorkianPhilippe
1s
1s
Export workflow telemetry Export workflow telemetry #2: completed by KevorkianPhilippe
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2: completed by KevorkianPhilippe
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #4: completed by KevorkianPhilippe
1s
1s