Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,456,105 workflow runs
1,456,105 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(Combinatorics/SimpleGraph/NoHamiltonianCycleWithBridge.lean): no Hamiltonian cycle if a bridge exists lint and suggest #129117: Pull request #31853 synchronize by pre-commit-ci-lite bot
1m 24s gululu996-ui:bridge-implies-no-hamiltonian
gululu996-ui:bridge-implies-no-hamiltonian
1m 24s
feat(Combinatorics/SimpleGraph/NoHamiltonianCycleWithBridge.lean): no Hamiltonian cycle if a bridge exists Run pre-commit and in-place update PR on push #15553: Pull request #31853 synchronize by pre-commit-ci-lite bot
24s gululu996-ui:bridge-implies-no-hamiltonian
gululu996-ui:bridge-implies-no-hamiltonian
24s
feat(Combinatorics/SimpleGraph/NoHamiltonianCycleWithBridge.lean): no Hamiltonian cycle if a bridge exists Post PR summary comment #104063: Pull request #31853 synchronize by pre-commit-ci-lite bot
1m 5s
1m 5s
feat(Combinatorics/SimpleGraph/NoHamiltonianCycleWithBridge.lean): no Hamiltonian cycle if a bridge exists continuous integration (mathlib forks) #248221: Pull request #31853 synchronize by pre-commit-ci-lite bot
1m 50s
1m 50s
feat(Combinatorics/SimpleGraph/NoHamiltonianCycleWithBridge.lean): no Hamiltonian cycle if a bridge exists Run pre-commit and in-place update PR on push #15552: Pull request #31853 synchronize by gululu996-ui
24s gululu996-ui:bridge-implies-no-hamiltonian
gululu996-ui:bridge-implies-no-hamiltonian
24s
feat(Combinatorics/SimpleGraph/NoHamiltonianCycleWithBridge.lean): no Hamiltonian cycle if a bridge exists lint and suggest #129116: Pull request #31853 synchronize by gululu996-ui
1m 24s gululu996-ui:bridge-implies-no-hamiltonian
gululu996-ui:bridge-implies-no-hamiltonian
1m 24s
feat(Combinatorics/SimpleGraph/NoHamiltonianCycleWithBridge.lean): no Hamiltonian cycle if a bridge exists continuous integration (mathlib forks) #248220: Pull request #31853 synchronize by gululu996-ui
1m 22s
1m 22s
feat(Combinatorics/SimpleGraph/NoHamiltonianCycleWithBridge.lean): no Hamiltonian cycle if a bridge exists Post PR summary comment #104062: Pull request #31853 synchronize by gululu996-ui
1m 3s
1m 3s
feat(Combinatorics/SimpleGraph/Connectivity/Connected): reachabilitySet .github/workflows/zulip_emoji_labelling.yaml #28322: Pull request #30570 labeled by robin-carlier
1s
1s
feat: smooth immersions Run pre-commit and in-place update PR on push #15551: Pull request #28793 synchronize by grunweg
23s grunweg:def-immersions
grunweg:def-immersions
23s
feat: smooth immersions lint and suggest #129115: Pull request #28793 synchronize by grunweg
2m 8s grunweg:def-immersions
grunweg:def-immersions
2m 8s
feat: smooth immersions continuous integration (mathlib forks) #248219: Pull request #28793 synchronize by grunweg
In progress
In progress
feat: smooth immersions Post PR summary comment #104061: Pull request #28793 synchronize by grunweg
1m 7s
1m 7s
Merge conflicts Merge conflicts #96991: Scheduled
10m 17s master
master
10m 17s
feat: more extensions for differential geometry elaborators lint and suggest #129114: Pull request #30744 synchronize by grunweg
2m 0s grunweg:diffgeo-custom-elaborators-evenmore
grunweg:diffgeo-custom-elaborators-evenmore
2m 0s
feat: more extensions for differential geometry elaborators Run pre-commit and in-place update PR on push #15550: Pull request #30744 synchronize by grunweg
25s grunweg:diffgeo-custom-elaborators-evenmore
grunweg:diffgeo-custom-elaborators-evenmore
25s
feat: more extensions for differential geometry elaborators Post PR summary comment #104060: Pull request #30744 synchronize by grunweg
58s
58s
feat: more extensions for differential geometry elaborators continuous integration (mathlib forks) #248218: Pull request #30744 synchronize by grunweg
In progress
In progress
Dependent Issues Dependent Issues #99060: Scheduled
6m 56s master
master
6m 56s
feat(AlgebraicGeometry): the pseudofunctor which sends a scheme to its category of sheaves of modules lint and suggest #129113: Pull request #30350 synchronize by joelriou
1m 57s joelriou:scheme-modules-pseudofunctor
joelriou:scheme-modules-pseudofunctor
1m 57s
feat(AlgebraicGeometry): the pseudofunctor which sends a scheme to its category of sheaves of modules Run pre-commit and in-place update PR on push #15549: Pull request #30350 synchronize by joelriou
28s joelriou:scheme-modules-pseudofunctor
joelriou:scheme-modules-pseudofunctor
28s
feat(AlgebraicGeometry): the pseudofunctor which sends a scheme to its category of sheaves of modules Post PR summary comment #104059: Pull request #30350 synchronize by joelriou
1m 10s
1m 10s
feat(AlgebraicGeometry): the pseudofunctor which sends a scheme to its category of sheaves of modules continuous integration (mathlib forks) #248217: Pull request #30350 synchronize by joelriou
In progress
In progress
feat(AlgebraicGeometry): the pseudofunctor which sends a scheme to its category of sheaves of modules lint and suggest #129112: Pull request #30350 synchronize by joelriou
2m 18s joelriou:scheme-modules-pseudofunctor
joelriou:scheme-modules-pseudofunctor
2m 18s
feat(AlgebraicGeometry): the pseudofunctor which sends a scheme to its category of sheaves of modules Run pre-commit and in-place update PR on push #15548: Pull request #30350 synchronize by joelriou
24s joelriou:scheme-modules-pseudofunctor
joelriou:scheme-modules-pseudofunctor
24s