formalsec / smtml / 455

Builds Branch Commit Type Ran Committer Via Coverage
455 main Release 0.18.0 push filipeom github
44.64
454 main Use fine-grained token to create release PR This is required because `GITHUB_TOKEN` does not trigger github actions to run. Which in turn, makes the PR unmergable by people that are not repository owners. push filipeom github
44.64
453 main Improve error messages in the error_kind printer push filipeom github
44.64
452 main Add Eval.pp_error_kind function push filipeom github
44.78
451 main Make settings of cli commands a concrete type Making cli command settings a concrete type makes it easier to then derive serializers to yaml/toml as well as the cmdliner parsers. push filipeom github
45.03
450 main typo push filipeom github
45.03
449 main Add publications sections to docs and README.md push filipeom github
45.03
448 main Add SOP on how to create a new release (#404) push filipeom github
45.03
447 main Release 0.17.0 push filipeom github
45.03
446 main Remove unused dependencies push filipeom github
45.03
445 main Fix README.md logo path push filipeom github
45.03
444 main Add function `Value.default_of_type` (#483) Closes #483 push filipeom github
45.03
443 main Add `Expr.Set.to_list` for compatability with OCaml 4.14 push filipeom github
45.29
442 main add some shortcuts on relop based on physical equality push filipeom github
45.33
441 main Fix incorrect odoc documentation syntax usage push filipeom github
45.64