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
all
push
pull request
9 pipeline runs
0/0
Waiting for spindle ...
Push to
main
f85038a7
2 days ago
--
1/1
build.yml
success
21s
Push to
main
90e36d8f
2 weeks ago
21s
1/1
build.yml
success
30s
Push to
main
c26b2838
3 weeks ago
30s
0/1
build.yml
failed
23s
Push to
main
f3c31384
3 weeks ago
23s
0/1
build.yml
failed
1s
Push to
main
2b5d12d8
3 weeks ago
1s
0/1
build.yml
failed
1s
Push to
main
0abd2b5e
3 weeks ago
1s
0/1
build.yml
failed
14s
Push to
main
8f140e60
3 weeks ago
14s
0/1
build.yml
failed
1s
Push to
main
a9bbc85f
3 weeks ago
1s
0/1
build.yml
failed
3s
Push to
main
b3b62b5d
3 weeks ago
3s
dunhamsteve.bsky.social