Skip to content

nightly-2021-07-08

Pre-release
Pre-release
Compare
Choose a tag to compare
@leodemoura leodemoura released this 08 Jul 00:45
· 1 commit to main since this release
nightly-2021-07-08
02c49b6

Changes since nightly-2021-07-07:

Full commit log

  • 02c49b6 chore: Nix: do not require package to be buildable for vscode-lean4 version check
Assets 5
Loading