issues
search
oliver-butterley
/
lean-update
The action attempts to update Lean and Mathlib. If an update is available then the updated version is tested. This allows for automatic committing of the updated project, opening PRs or opening issues.
MIT License
6
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Exception calling ".ctor" with "1" argument(s): "The input string '' was | not in a correct format."
#39
pitmonticone
closed
1 month ago
4
Exception calling ".ctor" with "1" argument(s):
#38
Seasawher
closed
1 month ago
0
Exception calling ".ctor" with "1" argument(s):
#37
Seasawher
closed
1 month ago
2
"Generalise" `lake update`
#36
pitmonticone
closed
1 month ago
8
fix: bump peter-evans/create-pull-request from 6 to 7
#35
dependabot[bot]
closed
1 month ago
0
Fix how to get latest release of Lean
#34
Seasawher
closed
2 months ago
2
report lake update outputs
#33
Seasawher
opened
2 months ago
1
update how to get latest release
#32
Seasawher
closed
2 months ago
5
fix version of `lean-action`
#31
Seasawher
closed
3 months ago
1
feat: add label to PR
#30
Seasawher
closed
3 months ago
0
add label for PR
#29
Seasawher
closed
3 months ago
0
fix: bump raven-actions/actionlint from 1 to 2
#28
dependabot[bot]
closed
3 months ago
0
feat: run `lake test`
#27
Seasawher
closed
4 months ago
0
bug: update the way to get latest release
#26
Seasawher
closed
2 months ago
2
feat: update deprecation
#25
Seasawher
opened
4 months ago
1
feat: use github cache feature of `leanprover/lean-action`
#24
Seasawher
closed
4 months ago
3
use GitHub cache feature of `leanprover/lean-action`
#23
Seasawher
closed
4 months ago
0
Don't use GitHub cache
#22
Seasawher
closed
4 months ago
2
bug: `Get Mathlib Cache` fails
#21
Seasawher
closed
4 months ago
4
fix lean-action version
#20
Seasawher
closed
3 months ago
0
fix: fix outdated contents on mathlib
#19
Seasawher
closed
5 months ago
0
update repo: outdated contents on mathlib
#18
Seasawher
closed
5 months ago
1
make this action mathlib-independent
#17
Seasawher
closed
5 months ago
7
run `lake test`
#16
Seasawher
closed
4 months ago
4
Confusing output
#15
oliver-butterley
opened
5 months ago
0
Allow for lean projects with documentation
#14
oliver-butterley
opened
5 months ago
0
Use `lean-action`
#13
oliver-butterley
closed
4 months ago
0
Improve reporting from the action
#12
oliver-butterley
opened
6 months ago
0
lakefile not found error
#11
Seasawher
closed
5 months ago
2
don't raise an error if the project don't use mathlib
#10
Seasawher
closed
5 months ago
2
Option to update to latest stable release of lean + mathlib
#9
oliver-butterley
closed
5 months ago
1
Avoid generating a new PR or issue if previous one is still open
#8
oliver-butterley
opened
6 months ago
0
Use cache for improved speed
#7
oliver-butterley
closed
4 months ago
1
stable Lean (not specified) installed?
#6
Seasawher
closed
6 months ago
3
doc: Wednesday → Thursday
#5
Seasawher
closed
6 months ago
0
:sparkles: check mathlib is a dependency, ignore whitespace in file check
#4
oliver-butterley
closed
6 months ago
1
More robust way to update lean-toolchain
#3
oliver-butterley
closed
6 months ago
0
PR which changes nothing is generated
#2
Seasawher
closed
6 months ago
5
fix: bump tj-actions/verify-changed-files from 18 to 20
#1
dependabot[bot]
closed
6 months ago
0