tangled
alpha
login
or
join now
dunhamsteve.bsky.social
/
newt
1
fork
atom
Newt - a dependent typed programming language
1
fork
atom
overview
issues
pulls
pipelines
try CI on tangled.org
dunhamsteve.bsky.social
3 weeks ago
f85038a7
ea7ba4ea
0/0
Waiting for spindle ...
+12
1 changed file
expand all
collapse all
unified
split
.tangled
workflows
build.yml
+12
.tangled/workflows/build.yml
···
1
1
+
when:
2
2
+
- event: ["push", "manual"]
3
3
+
branch: ["main", "develop"]
4
4
+
engine: "nixery"
5
5
+
dependencies:
6
6
+
nixpkgs:
7
7
+
- nodejs
8
8
+
steps:
9
9
+
- name: "build newt"
10
10
+
command: "make newt3.js"
11
11
+
- name: "test"
12
12
+
command: "make test"