Skip to content

Actions: Raph-DG/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. #365: completed by Raph-DG
1s
1s
Add in lemma continuous integration #365: Commit 04cea0a pushed by Raph-DG
1s Raph-DG-TransGen
Raph-DG-TransGen
1s
Add in lemma Run pre-commit and in-place update PR on push #315: Commit 04cea0a pushed by Raph-DG
27s Raph-DG-TransGen
Raph-DG-TransGen
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #364: completed by Raph-DG
1s
1s
Made connected by cover stuff into a sensible lemma continuous integration #364: Commit c5b4e3d pushed by Raph-DG
2s Raph-DG-DivisorSheaf
Raph-DG-DivisorSheaf
2s
Made connected by cover stuff into a sensible lemma Run pre-commit and in-place update PR on push #314: Commit c5b4e3d pushed by Raph-DG
33s Raph-DG-DivisorSheaf
Raph-DG-DivisorSheaf
33s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #363: completed by Raph-DG
1s
1s
Update Mathlib.lean continuous integration #363: Commit 4bea9a0 pushed by Raph-DG
1s Raph-DG-AlgebraicCycle
Raph-DG-AlgebraicCycle
1s
Update Mathlib.lean Run pre-commit and in-place update PR on push #313: Commit 4bea9a0 pushed by Raph-DG
32s Raph-DG-AlgebraicCycle
Raph-DG-AlgebraicCycle
32s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #362: completed by Raph-DG
Skipped
Skipped
Copy stuff from pushforward PR continuous integration #362: Commit d5f980c pushed by Raph-DG
1s Raph-DG-AlgebraicCycle
Raph-DG-AlgebraicCycle
1s
Copy stuff from pushforward PR Run pre-commit and in-place update PR on push #312: Commit d5f980c pushed by Raph-DG
24s Raph-DG-AlgebraicCycle
Raph-DG-AlgebraicCycle
24s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #361: completed by Raph-DG
1s
1s
Merge branch 'Raph-DG-AlgebraicCycle' of github.com:Raph-DG/mathlib4 … Run pre-commit and in-place update PR on push #311: Commit 9bb061e pushed by Raph-DG
31s Raph-DG-AlgebraicCycle
Raph-DG-AlgebraicCycle
31s
Merge branch 'Raph-DG-AlgebraicCycle' of github.com:Raph-DG/mathlib4 … continuous integration #361: Commit 9bb061e pushed by Raph-DG
2s Raph-DG-AlgebraicCycle
Raph-DG-AlgebraicCycle
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #360: completed by Raph-DG
1s
1s
Merge branch 'Raph-DG-AlgebraicCycle' of github.com:Raph-DG/mathlib4 … continuous integration #360: Commit 0ec1f05 pushed by Raph-DG
1s Raph-DG-AlgebraicCycle
Raph-DG-AlgebraicCycle
1s
Merge branch 'Raph-DG-AlgebraicCycle' of github.com:Raph-DG/mathlib4 … Run pre-commit and in-place update PR on push #310: Commit 0ec1f05 pushed by Raph-DG
25s Raph-DG-AlgebraicCycle
Raph-DG-AlgebraicCycle
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #359: completed by Raph-DG
2s
2s
Merge branch 'Raph-DG-AlgebraicCycle' of github.com:Raph-DG/mathlib4 … continuous integration #359: Commit 9bb061e pushed by Raph-DG
2s Raph-DG-AlgebraicCycle
Raph-DG-AlgebraicCycle
2s
Merge branch 'Raph-DG-AlgebraicCycle' of github.com:Raph-DG/mathlib4 … Run pre-commit and in-place update PR on push #309: Commit 9bb061e pushed by Raph-DG
24s Raph-DG-AlgebraicCycle
Raph-DG-AlgebraicCycle
24s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #358: completed by Raph-DG
1s
1s
Copy stuff from pushforward PR continuous integration #358: Commit d5f980c pushed by Raph-DG
1s Raph-DG-AlgebraicCycle
Raph-DG-AlgebraicCycle
1s
Copy stuff from pushforward PR Run pre-commit and in-place update PR on push #308: Commit d5f980c pushed by Raph-DG
27s Raph-DG-AlgebraicCycle
Raph-DG-AlgebraicCycle
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #357: completed by Raph-DG
2s
2s