kaist-cp/view-hw

Use coq template

jeehoonkang opened this issue · 1 comments

jeehoonkang commented
  • jenkins를 deprecate 시키고 github actions ci 을 쓰려 합니다.
  • 해보니 잘 안되네요 ㅜ
  • 이 template을 쓰면 잘 될 것 같습니다: https://github.com/coq-community/templates 여기로 옮겨가면 좋겠습니다.
jeehoonkang commented

closing? @drzix