formalsec / smtml / 386

Builds Branch Commit Type Ran Committer Via Coverage
386 main Automatic release scripts and workflow (#386) push filipeom github
54.37
385 main Automatic release scripts and workflow (#386) push filipeom github
54.37
384 main Automatic release scripts and workflow (#386) push filipeom github
54.37
383 main Automatic release scripts and workflow (#386) push filipeom github
54.37
382 main Automatic release scripts and workflow (#386) push filipeom github
54.37
381 main Automatic release scripts and workflow (#386) push filipeom github
54.37
380 main Automatic release scripts and workflow (#386) push filipeom github
54.37
379 main Add new `Loc` expression to model abstract locations (#382) push filipeom github
54.37
377 main Update maintenance intent to include any patch to the previous version push filipeom github
54.78
376 main Release v0.10.0 push filipeom github
54.78
375 main Fix lints push filipeom github
54.78
374 main Fix app expressing encoding order in mappings push filipeom github
54.78
373 main Add missing relop mappings for Eq|Ne push filipeom github
54.78
372 main Bump actions/upload-pages-artifact from 3 to 4 Bumps [actions/upload-pages-artifact](https://github.com/actions/upload-pages-artifact) from 3 to 4. - [Release notes](https://github.com/actions/upload-pages-artifact/releases) - [Commits](https://g... push filipeom github
54.78
371 main Add the missing ;; in the README.md (#402) push filipeom github
54.78