Open upamanyus opened 3 years ago
Set up continuous integration (e.g. Github Actions) that builds Armada files and verifies the generated and included Dafny files. It would be nice to always know if anything on the main branch is broken and to have CI for vetting proposed changes.
main
Set up continuous integration (e.g. Github Actions) that builds Armada files and verifies the generated and included Dafny files. It would be nice to always know if anything on the
mainbranch is broken and to have CI for vetting proposed changes.