search

nLabs-nScope / nLab

GNU General Public License v3.0
9 stars 2 forks source link

Set up Github Actions CI #3

Closed davidjmeyer closed 1 year ago

davidjmeyer commented 1 year ago

Start with linux building