actonlang/acton

Test more external projects

Closed this issue · 1 comments

plajjan commented

We need to test more external projects to see if we break stuff.

  • change current test-external-projects job to be parameterized on git repo
  • add acton-snappy
  • add orchestron
plajjan commented

Implemented a reusable workflow in #1946 and now testing the Acton YANG compiler