search

leanprover-community / lean4-metaprogramming-book

https://leanprover-community.github.io/lean4-metaprogramming-book/
Apache License 2.0
213 stars 53 forks source link

Fix CI failing on package installation #105

Closed Julian closed 1 year ago

Julian commented 1 year ago

apt update was missing (and needed as package indices drift out of date).

Julian commented 1 year ago

I think this is good for review/merge to fix CI on open PRs.

There's other improvements (e.g. an action used seems like it's been abandoned so possibly we should find a new one).

But this minimally fixes things I suspect.