| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-09-06 | [dune] [ci] Fix and test release profile + use 1.1 dune-workspace | Emilio Jesus Gallego Arias | |
| Dune 1.1 allows us to define the `env` flags in the workspace file, which is a better place than the current situation. Along the way, We fix the build flags for release mode [missing `-rectypes` and add a `release` build profile CI job. | |||
