search

GaloisInc / CASE-AADL-Tutorial

A Tutorial for tools developed on the DARPA CASE program
BSD 3-Clause "New" or "Revised" License
5 stars 2 forks source link

Modify the gitlab runner to work with github's CI #8

Closed zutshi closed 1 year ago

zutshi commented 1 year ago

Added .github/workflows/build-docs.yml