diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml index ad69257..d0ca114 100644 --- a/.github/workflows/continuous-integration.yml +++ b/.github/workflows/continuous-integration.yml @@ -19,15 +19,16 @@ concurrency: cancel-in-progress: true jobs: - check: + build: runs-on: ubuntu-latest steps: - uses: actions/checkout@v3 - - uses: actions/configure-pages@v2 - - uses: Swatinem/rust-cache@v2 - - run: cargo install --verbose --git https://github.com/aiken-lang/aiken.git + - uses: aiken-lang/setup-aiken@v1 + with: + version: v1.0.29-alpha - run: aiken fmt --check - run: aiken check -D + - run: aiken build - run: aiken docs -o docs - uses: actions/upload-pages-artifact@v2 with: