Skip to content

Latest commit

 

History

History
27 lines (21 loc) · 708 Bytes

README.md

File metadata and controls

27 lines (21 loc) · 708 Bytes
Raw

Radiocarbon Pipeline

This repository is the Pipeline at work at radiocarbon.ci.dev.

Building

opam install . --deps-only
dune build

Running

Set the following:

  • Your GitHub username at ./env/account.txt
  • The input/output repo's SSH endpoint at ./env/repo.txt
  • The GitHub app ID at ./env/gappid.txt
  • The Installation ID of that app at ./env/ginstid.txt
  • The GitHub app's secret key at ./env/sk.pem
  • The GitHub app's secret passkey at ./env/wsk.txt
  • A random salt at ./env/salt: openssl rand -hex 32 > ./env/salt
  • A GitHub SSH RSA key in the form that Awa accepts at ./env/github_sk.pem

Then simply:

sh run.sh