dunhamsteve.bsky.social / newt
Newt - a dependent typed programming language
fork atom

try CI on tangled.org

dunhamsteve.bsky.social b3b62b5d ea7ba4ea

build.yml
+12
+12
.tangled/workflows/build.yml
··· 1 + when: 2 + - event: ["push", "manual"] 3 + branch: ["main"] 4 + engine: "nixery" 5 + dependencies: 6 + nixpkgs: 7 + - nodejs 8 + steps: 9 + - name: "build newt" 10 + command: "make newt3.js" 11 + - name: "test" 12 + command: "make test"