Skip to content

Actions: adomani/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(Algebra): replace NoZeroSMulDivisors with `Module.IsTorsionFr… Autolabel PRs #25: Commit 044bc75 pushed by adomani
Skipped master
master
Skipped
Merge remote-tracking branch 'origin/master' into local_file_linter Autolabel PRs #24: Commit ac40d6d pushed by adomani
1s local_file_linter
local_file_linter
1s
try to merge traversals Autolabel PRs #23: Commit c518af7 pushed by adomani
1s adomani_commandStart_more_uptodate_merge_traversals
adomani_commandStart_more_uptodate_merge_traversals
1s
tfae Autolabel PRs #22: Commit 9877f31 pushed by adomani
1s command_start_split_linter_files
command_start_split_linter_files
1s
perf: small speed up of the flexible linter Autolabel PRs #21: Commit 9eeab5c pushed by adomani
1s sebastians_flexible_speedup
sebastians_flexible_speedup
1s
Merge branch 'master' into adomani/lint_empty_line Autolabel PRs #20: Commit f1ec62a pushed by grunweg
2s adomani/lint_empty_line
adomani/lint_empty_line
2s
Merge branch 'master' into lint_more_names_in_header_linter Autolabel PRs #19: Commit d9c49c9 pushed by grunweg
1s lint_more_names_in_header_linter
lint_more_names_in_header_linter
1s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… Autolabel PRs #18: Commit bc5790e pushed by adomani
1s tacticAnalysis_talk
tacticAnalysis_talk
1s
update mathlib Autolabel PRs #17: Commit fba3e53 pushed by adomani
1s adomani/lint_empty_line
adomani/lint_empty_line
1s
feat(Data/Nat): p.Coprime factorial and choose (#29404) Autolabel PRs #16: Commit c122fa6 pushed by adomani
1s master
master
1s
Merge remote-tracking branch 'upstream/master' into adomani/local_lin… Autolabel PRs #15: Commit 54418a1 pushed by adomani
1s adomani/local_linter_dev
adomani/local_linter_dev
1s
Merge remote-tracking branch 'upstream/master' into test/recoverpplint Autolabel PRs #14: Commit 098197a pushed by adomani
Skipped test/recoverpplint
test/recoverpplint
Skipped
Merge remote-tracking branch 'origin/master' into adomani/lint_empty_… Autolabel PRs #13: Commit b5d3fd9 pushed by adomani
1s adomani/lint_empty_line
adomani/lint_empty_line
1s
rename Autolabel PRs #12: Pull request #2 opened by adomani
1s
1s
Merge remote-tracking branch 'origin/master' into adomani/once_again_… Autolabel PRs #11: Commit a7600a7 pushed by adomani
1s adomani/once_again_autolabel
adomani/once_again_autolabel
1s
Merge remote-tracking branch 'origin/master' into adomani/check_optio… Autolabel PRs #10: Commit 74b15e5 pushed by adomani
1s adomani/check_options_exist
adomani/check_options_exist
1s
fix: download oleans from main cache before fork cache (#25682) Autolabel PRs #9: Commit f650072 pushed by adomani
1s master
master
1s
test autolabel Autolabel PRs #8: Commit 4f991d4 pushed by adomani
2s adomani/once_again_autolabel
adomani/once_again_autolabel
2s
try again for a change Autolabel PRs #7: Commit 816b1b3 pushed by adomani
Skipped adomani/another_fix_for_autolabel1
adomani/another_fix_for_autolabel1
Skipped
Merge remote-tracking branch 'upstream/master' Autolabel PRs #6: Commit db7ad96 pushed by adomani
1s master
master
1s
modify readme Autolabel PRs #5: Pull request #1 opened by adomani
Skipped test_pr_to_fork
test_pr_to_fork
Skipped
lint Autolabel PRs #4: Commit dff549c pushed by adomani
1s adomani/fork_test
adomani/fork_test
1s
revert autolabel Autolabel PRs #3: Commit 8591b16 pushed by adomani
Skipped master
master
Skipped
Merge remote-tracking branch 'origin/master' into adomani/fork_test Autolabel PRs #2: Commit 07923fa pushed by adomani
1m 10s adomani/fork_test
adomani/fork_test
1m 10s
run autolabel on fork Autolabel PRs #1: Commit ce57b7e pushed by adomani
1m 4s master
master
1m 4s