Skip to content

Actions: chrisflav/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
85 workflow runs
85 workflow runs

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
sheaf annihilator and quasi-coherent ideal sheaves Autolabel PRs #85: Pull request #4 opened by chrisflav
1s
1s
annihilator and ideal sheaves Autolabel PRs #84: Pull request #3 opened by chrisflav
1s
1s
feat(AlgebraicGeometry/Modules): flat sheaves of modules Autolabel PRs #83: Pull request #2 opened by chrisflav
Skipped
Skipped
feat(RingTheory/IntegralClosure): add integrality of kerLift (#41058) Autolabel PRs #82: Commit 3b9fc57 pushed by chrisflav
1s master
master
1s
Merge branch 'master' into hypercovers Autolabel PRs #81: Commit 7bf9674 pushed by chrisflav
1s hypercovers
hypercovers
1s
Merge remote-tracking branch 'origin/master' into lrs-manifold Autolabel PRs #80: Commit dabddb3 pushed by chrisflav
8s lrs-manifold
lrs-manifold
8s
Merge branch 'master' into finite-etale-sepclosed Autolabel PRs #79: Commit e842250 pushed by chrisflav
6s finite-etale-sepclosed
finite-etale-sepclosed
6s
Merge branch 'master' into qcoh-tilde-foo.1 Autolabel PRs #78: Commit fa8a6ae pushed by chrisflav
2s qcoh-tilde-foo.1
qcoh-tilde-foo.1
2s
Merge branch 'master' into qcoh-restrict Autolabel PRs #77: Commit 8f80d01 pushed by chrisflav
11s qcoh-restrict
qcoh-restrict
11s
equal IsLimit.map Autolabel PRs #76: Pull request #1 opened by chrisflav
1s
1s
Merge remote-tracking branch 'upstream/master' into local-closure Autolabel PRs #75: Commit 97cb971 pushed by chrisflav
1s local-closure
local-closure
1s
feat: define C^n submersions (#35122) Autolabel PRs #74: Commit 738e543 pushed by chrisflav
12s master
master
12s
Merge branch 'master' into over-pushforward-sheaves Autolabel PRs #73: Commit 62abe3f pushed by chrisflav
2s over-pushforward-sheaves
over-pushforward-sheaves
2s
Merge branch 'master' into structuredarrow-map2 Autolabel PRs #72: Commit eb1ac22 pushed by chrisflav
2s structuredarrow-map2
structuredarrow-map2
2s
Merge branch 'master' into qcoh-restrict Autolabel PRs #71: Commit 6303947 pushed by chrisflav
2s qcoh-restrict
qcoh-restrict
2s
Merge branch 'master' into with-constructible-fix Autolabel PRs #70: Commit 80da5d5 pushed by chrisflav
2s with-constructible-fix
with-constructible-fix
2s
Merge branch 'master' into finite-etale-sepclosed Autolabel PRs #69: Commit 856442a pushed by chrisflav
2s finite-etale-sepclosed
finite-etale-sepclosed
2s
finish Autolabel PRs #68: Commit 6624e6b pushed by chrisflav
1s qcoh-tilde-foo.1
qcoh-tilde-foo.1
1s
Merge branch 'master' into finite-split-field Autolabel PRs #67: Commit bb9daa4 pushed by chrisflav
2s finite-split-field
finite-split-field
2s
Merge branch 'master' into qcoh-restrict Autolabel PRs #66: Commit e0549ae pushed by chrisflav
2s qcoh-restrict
qcoh-restrict
2s
Merge branch 'master' into weakly-etale Autolabel PRs #65: Commit 8ff1d8f pushed by chrisflav
1s weakly-etale
weakly-etale
1s
Merge branch 'master' into local-iso Autolabel PRs #64: Commit c0256eb pushed by chrisflav
2s local-iso
local-iso
2s
Merge branch 'master' into finite-flat-rank Autolabel PRs #63: Commit 97cea86 pushed by chrisflav
1s finite-flat-rank
finite-flat-rank
1s
Merge branch 'master' into normal-subgroup-objects Autolabel PRs #62: Commit d520887 pushed by chrisflav
1s normal-subgroup-objects
normal-subgroup-objects
1s
Merge branch 'master' into mulactionobj Autolabel PRs #61: Commit 3144f64 pushed by chrisflav
2s mulactionobj
mulactionobj
2s