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

Reduce triggers of main GitHub workflow #94

Closed sergej-koscejev closed 4 months ago

sergej-koscejev commented 4 months ago

Trigger on push to master or maintenance branches only, not for all branches.

Also trigger on pull request to build pull request branches (as long as they can be merged).