Skip to content

Actions: marcelolynch/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
21 workflow runs
21 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
ci: bump pinned GitHub Actions to latest Autolabel PRs #21: Commit 762e60f pushed by marcelolynch
8s ci/actions-sweep-2
ci/actions-sweep-2
8s
ci: bump actions/checkout to v7.0.0 Autolabel PRs #20: Commit ea114f5 pushed by marcelolynch
1s ci/checkout-v7-redo
ci/checkout-v7-redo
1s
ci: bump actions/checkout to v7.0.0 Autolabel PRs #19: Commit 36e5808 pushed by marcelolynch
1s ci/checkout-v7
ci/checkout-v7
1s
ci: bump major/behavior-affecting pinned actions Autolabel PRs #18: Commit d1a1e2b pushed by marcelolynch
11s ci/update-github-actions
ci/update-github-actions
11s
Update action versions Autolabel PRs #17: Commit c8b6b32 pushed by marcelolynch
1s master
master
1s
feat(ci): download prebuilt CI tools instead of rebuilding every run Autolabel PRs #16: Commit 8f1cfb3 pushed by marcelolynch
2s ci/prebuilt-tools-artifact
ci/prebuilt-tools-artifact
2s
Merge branch 'master' into 2026/05/MultiContainerCache Autolabel PRs #15: Commit 567ba6d pushed by marcelolynch
2s 2026/05/MultiContainerCache
2026/05/MultiContainerCache
2s
chore(CI): drop unneeded token permissions from fork-PR post-build jobs Autolabel PRs #14: Commit 61d8f90 pushed by marcelolynch
2s restrict-untrusted-ci-job-permissions
restrict-untrusted-ci-job-permissions
2s
ci: harden untrusted-PR-checkout workflows (persist-credentials + lea… Autolabel PRs #13: Commit 660df74 pushed by marcelolynch
2s worktree-ci-hardening-persist-creds
worktree-ci-hardening-persist-creds
2s
chore(HullKernel): turn some comments into docstrings (#39040) Autolabel PRs #12: Commit 0d6616f pushed by marcelolynch
2s master
master
2s
doc: typo in docstring for exteriorPower (#37892) Autolabel PRs #11: Commit 389a421 pushed by marcelolynch
1s master
master
1s
Merge branch 'master' into 2026/03/SpliceAction Autolabel PRs #10: Commit 1d8b93b pushed by marcelolynch
2s 2026/03/SpliceAction
2026/03/SpliceAction
2s
feat(RingTheory): weakly quasi finite primes (#35234) Autolabel PRs #9: Commit 0e4799c pushed by marcelolynch
1s master
master
1s
Merge branch 'master' into ci-dev/marcelo/2026/01/PushCacheSeparateJob Autolabel PRs #8: Commit e56ccb0 pushed by marcelolynch
9s ci-dev/marcelo/2026/01/PushCacheSeparateJob
ci-dev/marcelo/2026/01/PushCacheSeparateJob
9s
Use sticky-pull-request-comment for PR comments throughout Autolabel PRs #7: Commit fc43ad4 pushed by marcelolynch
1s 2026/StickyCommentNewContrib
2026/StickyCommentNewContrib
1s
wd Autolabel PRs #6: Commit 43f79f8 pushed by marcelolynch
1s 2026/01/NoUntrustedCodeInLabeler
2026/01/NoUntrustedCodeInLabeler
1s
Don't run user code for autolabelling Autolabel PRs #5: Commit 5db3400 pushed by marcelolynch
1s 2026/01/NoUntrustedCodeInLabeler
2026/01/NoUntrustedCodeInLabeler
1s
chore: improve notation in log counting function of Value Distributio… Autolabel PRs #4: Commit eccf962 pushed by marcelolynch
1s master
master
1s
Merge branch 'master' into 2026/01/ReusableCI Autolabel PRs #3: Commit 2523e16 pushed by marcelolynch
1s 2026/01/ReusableCI
2026/01/ReusableCI
1s
feat(Combinatorics): a clique has size at most the chromatic number (… Autolabel PRs #2: Commit 62a82d6 pushed by marcelolynch
1s master
master
1s
feat: Tendsto (√·) atTop atTop (#33837) Autolabel PRs #1: Commit 622f41a pushed by marcelolynch
2s master
master
2s