Skip to content

Merge pull request #35 from anoma/xuyang/verifiable_encryption_bench #29

Merge pull request #35 from anoma/xuyang/verifiable_encryption_bench

Merge pull request #35 from anoma/xuyang/verifiable_encryption_bench #29

Workflow file for this run

name: Construct caches and run checks on base
on:
push:
branches: [ "base" ]
permissions:
contents: read
jobs:
construct-caches:
name: Construct caches
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/[email protected]
- uses: ./.github/workflows/setup
- name: Create PLTs
run: mix dialyzer --plt
run-checks:
name: Run checks
needs: construct-caches
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/[email protected]
- uses: ./.github/workflows/setup
with:
fail-on-failure: true
- uses: ./.github/workflows/checks
- uses: ./.github/workflows/format
if: ${{ !cancelled() }}
build-docs:
name: build docs
needs: construct-caches
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/[email protected]
with:
fetch-depth: 0
- uses: ./.github/workflows/setup
with:
fail-on-failure: true
- uses: ./.github/workflows/docs
with:
deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}