Skip to content

Latest commit

 

History

History
22 lines (16 loc) · 570 Bytes

README.md

File metadata and controls

22 lines (16 loc) · 570 Bytes
Raw

Setup Aya in your GitHub Actions

Use this Action

The following code snippet installs the nightly version of Aya and adds it to the PATH:

- name: Setup Aya
  uses: aya-prover/setup-aya@latest
  with:
    version: 'nightly-build'

Develop this Action

  • Install a modern version of Node.js
  • Install pnpm: npm install -g pnpm
  • Install dependencies: pnpm install

Due to GitHub restrictions, you have to commit all generated files under dists/ folder to version control. So don't forget to run pnpm package before commit.

  • pnpm package