michael/type-theory
2
0
Fork 0
Code Issues 21 Pull requests Projects 1 Releases 1 Packages Wiki Activity Actions

Compare commits

merge into: michael:master
Branches Tags
michael:master
michael:ci
michael:2024-grads-talk-rev1
...
pull from: michael:ci
Branches Tags
michael:master
michael:ci
michael:2024-grads-talk-rev1

1 commit
master ... ci

Author SHA1 Message Date
Michael Zhang
3380b38037 add initial ci file
Some checks failed
/ test (push) Has been cancelled
Details
2024-10-15 23:44:39 -05:00
1 changed files with 6 additions and 0 deletions
Show stats Expand all files Collapse all files

6
.forgejo/workflows/ci.yml Normal file
View file

@ -0,0 +1,6 @@
on: [push]
jobs:
test:
runs-on: docker
steps:
- run: echo All Good