Skip to content

Actions: Vierkantor/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
17 workflow runs
17 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
Merge remote-tracking branch 'upstream/master' into document-grw-tactic Autolabel PRs #17: Commit e1af8ae pushed by Vierkantor
1s document-grw-tactic
document-grw-tactic
1s
Actionlint Autolabel PRs #16: Commit b6fba83 pushed by Vierkantor
1s add-output-to-Zulip-messages
add-output-to-Zulip-messages
1s
chore(Tactic/Abel): improve abel tactic docstring Autolabel PRs #15: Commit b6d8c7d pushed by Vierkantor
2s document-abel-tactic
document-abel-tactic
2s
fix(Tactic/ApplyWith): disambiguate parse to improve error messages Autolabel PRs #14: Commit af0fd4f pushed by Vierkantor
1s fix-applyWith
fix-applyWith
1s
Merge remote-tracking branch 'upstream/master' into toIsOrderedCancel… Autolabel PRs #13: Commit 0a31952 pushed by Vierkantor
1s toIsOrderedCancelAddMonoid
toIsOrderedCancelAddMonoid
1s
chore(Tactic): document remaining undocumented tactics Autolabel PRs #12: Commit 4db4b98 pushed by Vierkantor
1s missing-tactic-docs
missing-tactic-docs
1s
chore(AlgebraicGeometry/ProjectiveSpectrum): delete unused code Autolabel PRs #11: Commit 765af6e pushed by Vierkantor
1s delete-mem_tac
delete-mem_tac
1s
Replace the script counting undocumented tactics with an environment … Autolabel PRs #10: Commit fd464b5 pushed by Vierkantor
1s undocumented-tactic-report
undocumented-tactic-report
1s
chore: delete elementwise tactic stub Autolabel PRs #9: Commit 9723f0b pushed by Vierkantor
1s delete-elementwise
delete-elementwise
1s
chore(Tactic): copy docs to undocumented tactics Autolabel PRs #8: Commit b103add pushed by Vierkantor
1s add-tactic_alts
add-tactic_alts
1s
Convenient abbreviation for i.ctxI.runTacticCode i.tacI Autolabel PRs #7: Commit 457e989 pushed by Vierkantor
Skipped no-warn-in-try
no-warn-in-try
Skipped
Shake Autolabel PRs #6: Commit 84d8ad4 pushed by Vierkantor
2s rwMerge-fixes
rwMerge-fixes
2s
chore(*): rename note 'CategoryTheory universes' to 'category theory … Autolabel PRs #5: Commit 9314f31 pushed by Vierkantor
1s rename-category-theory-universes-note
rename-category-theory-universes-note
1s
Run various analyses on Mathlib Autolabel PRs #4: Commit e6ba438 pushed by Vierkantor
2s nightly-grind-testing
nightly-grind-testing
2s
Test post build Autolabel PRs #3: Pull request #2 opened by Vierkantor
Skipped
Skipped
fix(Algebra): MulMemClass.mul_mem should not be aesop safe Autolabel PRs #2: Commit 272d6df pushed by Vierkantor
1s unsafe-mul_mem
unsafe-mul_mem
1s
ci: Empty commit to test the bench-after-CI workflow. Autolabel PRs #1: Pull request #1 opened by Vierkantor
1s
1s