michael/type-theory
2
0
Fork 0
Code Issues 21 Pull requests Projects 1 Releases 1 Packages Wiki Activity Actions
All workflows
Actor
All actors michael
Status
All status success failure waiting running
add initial ci file
ci.yml #1 -Commit 3380b38037 pushed by michael
ci
2024-10-16 06:30:46 +00:00
0s