Skip to content

Adding modulo field prime to scalar.new #367

Adding modulo field prime to scalar.new

Adding modulo field prime to scalar.new #367

name: Continuous Integration
on:
workflow_dispatch:
push:
branches: ["main"]
tags: ["*.*.*"]
pull_request:
branches: ["main"]
env:
CARGO_TERM_COLOR: always
permissions:
contents: read
pages: write
id-token: write
concurrency:
group: "pages"
cancel-in-progress: true
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: πŸ“₯ Checkout repository
uses: actions/checkout@v3
- name: 🧰 Setup Pages
uses: actions/configure-pages@v2
- name: 🧰 Install Aiken
run: cargo install --verbose --git https://github.com/aiken-lang/aiken.git
- name: πŸ“ Run fmt
run: aiken fmt --check
- name: πŸ”¬ Run tests
run: aiken check
- name: πŸ“˜ Generate documentation
shell: bash
working-directory: .
run: aiken docs -o docs
- name: πŸ“¦ Upload artifact
uses: actions/upload-pages-artifact@v2
with:
path: "docs/"
deploy:
if: ${{ startsWith(github.ref, 'refs/tags') }}
needs: build
runs-on: ubuntu-latest
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
steps:
- name: πŸš€ Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v1