docker-satysfi
docker-satysfi copied to clipboard
amutake
Docker images for SATySFi and Satyrographos
- https://discuss.ocaml.org/t/statically-link/1464 - http://rgrinberg.com/posts/static-binaries-tutorial/
current: - `latest`, `${SATYSFI_VERSION}`: full opam env - `slim`, `${SATYSFI_VERSION}-slim`: no opam env - `nightly`: nightly build without opam env - `opam-slim`, `${SATYSFI_VERSION}-opam-slim`: partial opam env motivation: - upgrade satyrographos...
This issue lists Renovate updates and detected dependencies. Read the [Dependency Dashboard](https://docs.renovatebot.com/key-concepts/dashboard/) docs to learn more.[View this repository on the Mend.io Web Portal](https://developer.mend.io/github/amutake/docker-satysfi). ## Open The following updates have all...
![renovate[bot] avatar](https://avatars.githubusercontent.com/in/2740?v=4 "renovate[bot] avatar"){kind=avatar}
This PR contains the following updates: | Package | Type | Update | Change | |---|---|---|---| | [docker/build-push-action](https://redirect.github.com/docker/build-push-action) | action | major | `v5` -> `v6` | --- ### Release...
This PR contains the following updates: | Package | Type | Update | Change | |---|---|---|---| | ubuntu | final | major | `22.04` -> `24.04` | --- ### Configuration...
This PR contains the following updates: | Package | Type | Update | Change | |---|---|---|---| | [actions/cache](https://redirect.github.com/actions/cache) | action | major | `v4` -> `v5` | --- ### Release...
This PR contains the following updates: | Package | Type | Update | Change | |---|---|---|---| | [actions/checkout](https://redirect.github.com/actions/checkout) | action | major | `v4` -> `v6` | --- ### Release...