Skip to content

Actions: SnirBroshi/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. #1643: completed by SnirBroshi
1s
1s
feat(Data/List/Basic): lists with equal tail and dropLast are equal continuous integration #1643: Commit 3fd0a12 pushed by SnirBroshi
1s feature/list/eq-of-head-tail-droplast
feature/list/eq-of-head-tail-droplast
1s
feat(Data/List/Basic): lists with equal tail and dropLast are equal Run pre-commit and in-place update PR on push #1625: Commit 3fd0a12 pushed by SnirBroshi
25s feature/list/eq-of-head-tail-droplast
feature/list/eq-of-head-tail-droplast
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1642: completed by SnirBroshi
1s
1s
fix vecMulVecBilin docstring continuous integration #1642: Commit 1b1bd3a pushed by SnirBroshi
1s chore/matrix/bundled-forms-docstrings
chore/matrix/bundled-forms-docstrings
1s
fix vecMulVecBilin docstring Run pre-commit and in-place update PR on push #1624: Commit 1b1bd3a pushed by SnirBroshi
29s chore/matrix/bundled-forms-docstrings
chore/matrix/bundled-forms-docstrings
29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1641: completed by SnirBroshi
1s
1s
chore(Combinatorics/SimpleGraph/Trails): golf and cleanup continuous integration #1641: Commit 2077993 pushed by SnirBroshi
9s chore/simple-graph/trails-cleanup-and-golf
chore/simple-graph/trails-cleanup-and-golf
9s
chore(Combinatorics/SimpleGraph/Trails): golf and cleanup Run pre-commit and in-place update PR on push #1623: Commit 2077993 pushed by SnirBroshi
29s chore/simple-graph/trails-cleanup-and-golf
chore/simple-graph/trails-cleanup-and-golf
29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1640: completed by SnirBroshi
10s
10s
put my name in the Goblet of Fire (surpassed a third of the blame) continuous integration #1640: Commit e090ee8 pushed by SnirBroshi
1s feature/simple-graph/fancy-hamiltonian-lemmas
feature/simple-graph/fancy-hamiltonian-lemmas
1s
put my name in the Goblet of Fire (surpassed a third of the blame) Run pre-commit and in-place update PR on push #1622: Commit e090ee8 pushed by SnirBroshi
22s feature/simple-graph/fancy-hamiltonian-lemmas
feature/simple-graph/fancy-hamiltonian-lemmas
22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1639: completed by SnirBroshi
1s
1s
doc(Matrix): mention bundled forms in docstrings continuous integration #1639: Commit 2fec9dd pushed by SnirBroshi
7s chore/matrix/bundled-forms-docstrings
chore/matrix/bundled-forms-docstrings
7s
doc(Matrix): mention bundled forms in docstrings Run pre-commit and in-place update PR on push #1621: Commit 2fec9dd pushed by SnirBroshi
24s chore/matrix/bundled-forms-docstrings
chore/matrix/bundled-forms-docstrings
24s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1638: completed by SnirBroshi
1s
1s
feat(Matrix): mention bundled forms in docstrings continuous integration #1638: Commit 189614b pushed by SnirBroshi
8s chore/matrix/bundled-forms-docstrings
chore/matrix/bundled-forms-docstrings
8s
feat(Matrix): mention bundled forms in docstrings Run pre-commit and in-place update PR on push #1620: Commit 189614b pushed by SnirBroshi
34s chore/matrix/bundled-forms-docstrings
chore/matrix/bundled-forms-docstrings
34s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1637: completed by SnirBroshi
1s
1s
theorem continuous integration #1637: Commit 5ee29ed pushed by SnirBroshi
1s feature/simple-graph/hamiltonian/small-lemmas
feature/simple-graph/hamiltonian/small-lemmas
1s
theorem Run pre-commit and in-place update PR on push #1619: Commit 5ee29ed pushed by SnirBroshi
25s feature/simple-graph/hamiltonian/small-lemmas
feature/simple-graph/hamiltonian/small-lemmas
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1636: completed by SnirBroshi
9s
9s
p.IsHamiltonianCycle ↔ p.IsCycle ∧ ∀ v, v ∈ p.support continuous integration #1636: Commit c2e5d9f pushed by SnirBroshi
11s feature/simple-graph/hamiltonian/small-lemmas
feature/simple-graph/hamiltonian/small-lemmas
11s
p.IsHamiltonianCycle ↔ p.IsCycle ∧ ∀ v, v ∈ p.support Run pre-commit and in-place update PR on push #1618: Commit c2e5d9f pushed by SnirBroshi
23s feature/simple-graph/hamiltonian/small-lemmas
feature/simple-graph/hamiltonian/small-lemmas
23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1635: completed by SnirBroshi
6s
6s