issues
search
mbeddr
/
mbeddr.formal
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
https://sites.google.com/site/fastenroot/home
Apache License 2.0
23
stars
14
forks
source link
Workflow improvements + publish to all repositories
#95
Closed
sergej-koscejev
closed
2 months ago
sergej-koscejev
commented
2 months ago
Publish all artifacts to all repositories.
Support workflow dispatch and publishing.
Upgrade used actions to their latest versions.
Simplify workflow by using
xvfb-run
.
xvfb-run
.