Skip to content

Fix docker build & update build scripts
Compare
Choose a tag to compare
@palainp palainp released this 08 Nov 15:43
· 80 commits to main since this release
v0.8.6
b944978
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
  • With Qubes 4.2 SELinux policies on Fedora AppVMS are enforced and now we need to run an additional command to be allowed to store docker images in the user homedir (#183 @palainp, reported by @Szewcson)
  • Updated the build scripts for more build reproducibility (change for official debian repositories, update debian image, update opam-repository commit, set commit for opam-overlay and mirage-overlay) (#184 @palainp, reported by @ben-grande)
  • Update disk usage value during local compilation (#186 @palainp, reported by @ben-grande)

Contributors

Szewcson, palainp, and ben-grande
Assets 4
Loading