~ashton314/microKanren

microKanren/.build.yml -rw-r--r-- 598 bytes
1430db53Ashton Wiersdorf Trying out some type checking with errors 4 months ago
                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
image: freebsd/13.x
packages:
  - hs-pandoc
secrets:
  - 4520e1e0-568d-40dc-af1c-0710afd432d3
sources:
  - https://git.sr.ht/~ashton314/microKanren
tasks:
  - build: |
      cd microKanren
      pandoc README.org -o ~/readme.html
  - publish: |
      set +x
      curl -H "Content-Type: text/html"                      \
           -H "Authorization: Bearer $(cat ~/.build-secret)"  \
           -XPUT                                             \
           --data-binary @readme.html                        \
           'https://git.sr.ht/api/repos/microKanren/readme' &&
      echo "README set"