Skip to content

Clean up description in README.md #39

Clean up description in README.md

Clean up description in README.md #39

Workflow file for this run

on: [push]
name: build
jobs:
runhaskell:
name: agda2rust
runs-on: ubuntu-latest
steps:
- name: Checks-out repository
uses: actions/checkout@v4
- name: Set up GHC
uses: haskell-actions/setup@v2
id: setup
with:
ghc-version: '9.8.1'
cabal-version: '3.10.1.0'
cabal-update: true
- name: Configure the build
run: |
cabal configure --enable-tests --enable-benchmarks --disable-documentation
cabal build --dry-run
# The last step generates dist-newstyle/cache/plan.json for the cache key.
- name: Restore cached dependencies
uses: actions/cache/restore@v3
id: cache
env:
key: ${{ runner.os }}-ghc-${{ steps.setup.outputs.ghc-version }}-cabal-${{ steps.setup.outputs.cabal-version }}
with:
path: ${{ steps.setup.outputs.cabal-store }}
key: ${{ env.key }}-plan-${{ hashFiles('**/plan.json') }}
restore-keys: ${{ env.key }}-
- name: Install dependencies
# If we had an exact cache hit, the dependencies will be up to date.
if: ${{ steps.cache.outputs.cache-hit != 'true' }}
run: cabal build all --only-dependencies
# Cache dependencies already here, so that we do not have to rebuild them should the subsequent steps fail.
- name: Save cached dependencies
uses: actions/cache/save@v3
# If we had an exact cache hit, trying to save the cache would error because of key clash.
if: ${{ steps.cache.outputs.cache-hit != 'true' }}
with:
path: ${{ steps.setup.outputs.cabal-store }}
key: ${{ steps.cache.outputs.cache-primary-key }}
- name: Build
run: cabal build all
- name: Run tests
run: cabal test all
- name: Compile Hello.agda to Rust
run: cabal run -- agda2rust ./test/hello.agda
- name: Install Rust latest nightly
uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: stable
- name: Compile Hello
run: rustc --crate-type=lib test/Hello.rs