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. #1450: completed by SnirBroshi
Skipped
Skipped
feat(Data/Nat): a number divides a power of its own radical continuous integration #1450: Commit 1493b0d pushed by SnirBroshi
1s feature/factorization/dvd-radical-pow-self
feature/factorization/dvd-radical-pow-self
1s
feat(Data/Nat): a number divides a power of its own radical Run pre-commit and in-place update PR on push #1432: Commit 1493b0d pushed by SnirBroshi
26s feature/factorization/dvd-radical-pow-self
feature/factorization/dvd-radical-pow-self
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1449: completed by SnirBroshi
1s
1s
fix after merge continuous integration #1449: Commit 97ef381 pushed by SnirBroshi
2s feature/group-theory/p-core
feature/group-theory/p-core
2s
fix after merge Run pre-commit and in-place update PR on push #1431: Commit 97ef381 pushed by SnirBroshi
27s feature/group-theory/p-core
feature/group-theory/p-core
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1448: completed by SnirBroshi
1s
1s
Merge branch 'master' into feature/group-theory/p-core continuous integration #1448: Commit b9f5260 pushed by SnirBroshi
1s feature/group-theory/p-core
feature/group-theory/p-core
1s
Merge branch 'master' into feature/group-theory/p-core Run pre-commit and in-place update PR on push #1430: Commit b9f5260 pushed by SnirBroshi
24s feature/group-theory/p-core
feature/group-theory/p-core
24s
Merge branch 'master' into feature/group-theory/p-core Autolabel PRs #124: Commit b9f5260 pushed by SnirBroshi
1s feature/group-theory/p-core
feature/group-theory/p-core
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1447: completed by SnirBroshi
1s
1s
dependencies were merged continuous integration #1447: Commit 5815e49 pushed by SnirBroshi
1s feature/group-theory/p-core
feature/group-theory/p-core
1s
dependencies were merged Run pre-commit and in-place update PR on push #1429: Commit 5815e49 pushed by SnirBroshi
21s feature/group-theory/p-core
feature/group-theory/p-core
21s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1446: completed by SnirBroshi
1s
1s
Merge branch 'master' into chore/relation-duplication/symmetric continuous integration #1446: Commit e390428 pushed by SnirBroshi
1s chore/relation-duplication/symmetric
chore/relation-duplication/symmetric
1s
Merge branch 'master' into chore/relation-duplication/symmetric Autolabel PRs #123: Commit e390428 pushed by SnirBroshi
1s chore/relation-duplication/symmetric
chore/relation-duplication/symmetric
1s
Merge branch 'master' into chore/relation-duplication/symmetric Run pre-commit and in-place update PR on push #1428: Commit e390428 pushed by SnirBroshi
25s chore/relation-duplication/symmetric
chore/relation-duplication/symmetric
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1445: completed by SnirBroshi
2s
2s
small golf continuous integration #1445: Commit fe5306e pushed by SnirBroshi
1s feature/group-theory/pgroup-isup-of-normal
feature/group-theory/pgroup-isup-of-normal
1s
small golf Run pre-commit and in-place update PR on push #1427: Commit fe5306e pushed by SnirBroshi
26s feature/group-theory/pgroup-isup-of-normal
feature/group-theory/pgroup-isup-of-normal
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1444: completed by SnirBroshi
1s
1s
extract le_sylow_of_normal to #40012 continuous integration #1444: Commit 1df06e5 pushed by SnirBroshi
1s feature/group-theory/p-group-lemmas
feature/group-theory/p-group-lemmas
1s
extract le_sylow_of_normal to #40012 Run pre-commit and in-place update PR on push #1426: Commit 1df06e5 pushed by SnirBroshi
23s feature/group-theory/p-group-lemmas
feature/group-theory/p-group-lemmas
23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1443: completed by SnirBroshi
1s
1s
feat(Algebra/Group/Subgroup/Pointwise): the iSup of subgroups equal… continuous integration #1443: Commit 159f21b pushed by SnirBroshi
2s feature/isup-eq-iunion-finset-bisup
feature/isup-eq-iunion-finset-bisup
2s