Skip to content

build: Update to v0.3.19 - #176

Merged
lenianiva merged 4 commits into
mainfrom
build/version
Oct 20, 2026
Merged

lenianiva merged 4 commits into
mainfrom
build/version

Conversation

@lenianiva

Copy link
Copy Markdown
Member

This updates the Pantograph and Lean versions

@lenianiva lenianiva self-assigned this Aug 30, 2026
@lenianiva

Copy link
Copy Markdown
Member Author

For some reason the load_header function is now failing. This may be due to new initialization semantics.

@lenianiva lenianiva changed the title build: Update to v0.3.16 build: Update to v0.3.19 Oct 20, 2026
@lenianiva
lenianiva merged commit c9b8648 into main Oct 20, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant