Skip to content

Actions: frenzymath/mathlib4

Actions

Run pre-commit and in-place update PR on push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-commit.yml
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into reap Run pre-commit and in-place update PR on push #26: Commit 41e527d pushed by slashbade
27s reap
reap
27s
chore: bump to v4.28.0 Run pre-commit and in-place update PR on push #25: Commit cbd19f7 pushed by slashbade
26s reap
reap
26s
Merge branch 'leanprover-community:master' into reap Run pre-commit and in-place update PR on push #24: Commit 069bb3e pushed by slashbade
23s reap
reap
23s
bump v4.27.0 version Run pre-commit and in-place update PR on push #23: Commit cc31de9 pushed by slashbade
21s reap
reap
21s
Merge branch 'leanprover-community:master' into reap Run pre-commit and in-place update PR on push #22: Commit ae07892 pushed by slashbade
23s reap
reap
23s
Merge branch 'leanprover-community:master' into reap Run pre-commit and in-place update PR on push #21: Commit 215c6cd pushed by slashbade
30s reap
reap
30s
chore: bump reap Run pre-commit and in-place update PR on push #20: Commit a802dbd pushed by slashbade
30s reap
reap
30s
chore: bump reap Run pre-commit and in-place update PR on push #19: Commit 7582f74 pushed by slashbade
21s reap
reap
21s
Merge branch 'master' into reap Run pre-commit and in-place update PR on push #18: Commit ae16dad pushed by slashbade
39s reap
reap
39s
chore: bump reap Run pre-commit and in-place update PR on push #17: Commit bdab980 pushed by slashbade
27s reap
reap
27s
chore: bump reap to v4.25.0-rc2 Run pre-commit and in-place update PR on push #16: Commit 4a3bbef pushed by slashbade
34s reap
reap
34s
chore: update reap to latest Run pre-commit and in-place update PR on push #15: Commit aa85966 pushed by kim-em
30s reap
reap
30s
chore: update reap to latest Run pre-commit and in-place update PR on push #14: Commit 8caa751 pushed by kim-em
32s reap
reap
32s
chore: update reap to latest Run pre-commit and in-place update PR on push #13: Commit df5e193 pushed by kim-em
38s reap
reap
38s
Merge branch 'master' into reap Run pre-commit and in-place update PR on push #12: Commit c13face pushed by kim-em
27s reap
reap
27s
chore: update reap to latest Run pre-commit and in-place update PR on push #11: Commit 943bcf6 pushed by slashbade
30s reap
reap
30s
feat: add reap tactic and related imports Run pre-commit and in-place update PR on push #10: Commit bf62f92 pushed by slashbade
27s reap_internal
reap_internal
27s
feat: add reap as internal tactic Run pre-commit and in-place update PR on push #9: Commit 670a788 pushed by slashbade
35s reap_internal
reap_internal
35s
Merge branch 'master' into reap Run pre-commit and in-place update PR on push #8: Commit 8f95719 pushed by slashbade
29s reap
reap
29s
Merge branch 'master' into reap Run pre-commit and in-place update PR on push #7: Commit e08c65c pushed by slashbade
23s reap
reap
23s
fix: add necessary imports in MathlibTest.Header Run pre-commit and in-place update PR on push #6: Commit e06bc54 pushed by slashbade
29s reap
reap
29s
fix: add OpenAIClient and Requests to Cache.IO Run pre-commit and in-place update PR on push #5: Commit f21df8a pushed by slashbade
22s reap
reap
22s
fix: add to cache IO Run pre-commit and in-place update PR on push #4: Commit 7b956de pushed by slashbade
26s reap
reap
26s
fix: allowedImportDirs Run pre-commit and in-place update PR on push #3: Commit 29645d6 pushed by slashbade
25s reap
reap
25s
fix: directory dependency exclude Run pre-commit and in-place update PR on push #2: Commit 6d3de1e pushed by slashbade
20s reap
reap
20s