issues
search
Soonad
/
Moonad
An upcoming operating system built on Type-Theory
43
stars
5
forks
source link
Update workflow
#59
Closed
MaisaMilena
closed
4 years ago
MaisaMilena
commented
4 years ago
Remove
.fmc
and
.fml
from
gitignore
Remove
update-fmc-fml
action
Update
fmc-type-check.yml
to run on PR and push
.fmcand.fmlfromgitignoreupdate-fmc-fmlactionfmc-type-check.ymlto run on PR and push