Skip to content

Actions: chrisflav/proetale

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,166 workflow runs
1,166 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
chore: bump mathlib to 236391b Lean Action CI #953: Pull request #131 synchronize by github-actions Bot
Action required hopscotch/bump
hopscotch/bump
Action required
hopscotch hopscotch #61: Scheduled
39m 41s master
master
39m 41s
chore: bump mathlib to 236391b Lean Action CI #952: Pull request #131 synchronize by github-actions Bot
Action required hopscotch/bump
hopscotch/bump
Action required
hopscotch hopscotch #60: Scheduled
2h 21m 18s master
master
2h 21m 18s
chore: bump mathlib to 236391b Lean Action CI #951: Pull request #131 synchronize by github-actions Bot
Action required hopscotch/bump
hopscotch/bump
Action required
hopscotch hopscotch #59: Scheduled
4h 46m 54s master
master
4h 46m 54s
chore: bump mathlib to 236391b Lean Action CI #950: Pull request #131 synchronize by github-actions Bot
Action required hopscotch/bump
hopscotch/bump
Action required
hopscotch hopscotch #58: Scheduled
3h 41m 5s master
master
3h 41m 5s
chore: bump mathlib to 236391b Lean Action CI #949: Pull request #131 synchronize by github-actions Bot
Action required hopscotch/bump
hopscotch/bump
Action required
hopscotch hopscotch #57: Scheduled
2h 5m 23s master
master
2h 5m 23s
pages build and deployment pages-build-deployment #59: by github-pages Bot
1m 16s gh-pages
gh-pages
1m 16s
feat(Mathlib/RingTheory/Etale/Henselian): sections and coprime factorizations over Henselian local rings (Stacks 04GG) Lean Action CI #948: Pull request #200 synchronize by chrisflav-agent Bot
27m 49s chrisflav-agents:pr/henselian-standard-etale-04GG
chrisflav-agents:pr/henselian-standard-etale-04GG
27m 49s
feat(Mathlib/RingTheory/Etale/Henselian): sections and coprime factorizations over Henselian local rings (Stacks 04GG) Blueprint #26: Pull request #200 synchronize by chrisflav-agent Bot
46m 49s
46m 49s
feat(Mathlib/RingTheory/Etale/Henselian): sections and coprime factorizations over Henselian local rings (Stacks 04GG) Lean Action CI #947: Pull request #200 synchronize by chrisflav-agent Bot
26m 54s chrisflav-agents:pr/henselian-standard-etale-04GG
chrisflav-agents:pr/henselian-standard-etale-04GG
26m 54s
feat(Mathlib/RingTheory/Etale/Henselian): sections and coprime factorizations over Henselian local rings (Stacks 04GG) Blueprint #25: Pull request #200 synchronize by chrisflav-agent Bot
5m 27s
5m 27s
feat(Mathlib/CategoryTheory/MorphismProperty/Ind): close op_isFinitelyPresentable sorry Lean Action CI #946: Pull request #195 synchronize by chrisflav-agent Bot
37m 10s chrisflav-agents:pr/pro-multiplicative-stable-comp
chrisflav-agents:pr/pro-multiplicative-stable-comp
37m 10s
feat(Mathlib/CategoryTheory/MorphismProperty/Ind): close op_isFinitelyPresentable sorry Blueprint #24: Pull request #195 synchronize by chrisflav-agent Bot
10m 20s
10m 20s
feat(Mathlib/AlgebraicGeometry/Sites/Small): continuity of the functors between small P-sites Lean Action CI #945: Pull request #196 synchronize by chrisflav-agent Bot
32m 58s chrisflav-agents:pr/small-sites-continuous-functors
chrisflav-agents:pr/small-sites-continuous-functors
32m 58s
feat(Mathlib/AlgebraicGeometry/Sites/Small): continuity of the functors between small P-sites Blueprint #23: Pull request #196 synchronize by chrisflav-agent Bot
9m 17s
9m 17s
feat(Algebra/IntegralLocal): an integral domain integral over a Henselian local ring is local Lean Action CI #944: Pull request #197 synchronize by chrisflav-agent Bot
33m 49s chrisflav-agents:pr/integral-local-henselian-of-domain
chrisflav-agents:pr/integral-local-henselian-of-domain
33m 49s
feat(Algebra/IntegralLocal): an integral domain integral over a Henselian local ring is local Blueprint #22: Pull request #197 synchronize by chrisflav-agent Bot
10m 14s
10m 14s
feat(Algebra/IdentifiesLocalRings): hom-set bijection for algebras identifying local rings (Stacks 096L) Lean Action CI #943: Pull request #198 synchronize by chrisflav-agent Bot
2m 44s chrisflav-agents:pr/identifies-local-rings-096L
chrisflav-agents:pr/identifies-local-rings-096L
2m 44s
feat(Algebra/IdentifiesLocalRings): hom-set bijection for algebras identifying local rings (Stacks 096L) Blueprint #21: Pull request #198 synchronize by chrisflav-agent Bot
6m 46s
6m 46s
feat(Algebra/WeakDimension): cartesian diagram for integrally closed algebraic extensions (Stacks 092U) Lean Action CI #942: Pull request #199 synchronize by chrisflav-agent Bot
2m 7s chrisflav-agents:pr/weak-dim-cartesian-092U
chrisflav-agents:pr/weak-dim-cartesian-092U
2m 7s
feat(Algebra/WeakDimension): cartesian diagram for integrally closed algebraic extensions (Stacks 092U) Blueprint #20: Pull request #199 synchronize by chrisflav-agent Bot
12m 27s
12m 27s