Skip to content

Merge pull request #98 from zkFold/vlasin-examples #12

Merge pull request #98 from zkFold/vlasin-examples

Merge pull request #98 from zkFold/vlasin-examples #12

Workflow file for this run

name: CI Push
on:
push:
branches: [ main ]
workflow_dispatch:
permissions:
contents: read
jobs:
on-main-update:
runs-on: ubuntu-latest
steps:
- uses: actions/[email protected]
- uses: haskell-actions/[email protected]
with:
ghc-version: '9.6.3'
cabal-version: '3.10.2.1'
- name: Cache
uses: actions/[email protected]
env:
cache-name: cache-cabal
with:
path: ~/.cabal
key: ${{ runner.os }}-build-${{ env.cache-name }}-${{ hashFiles('**/*.cabal') }}-${{ hashFiles('**/cabal.project') }}
restore-keys: |
${{ runner.os }}-build-${{ env.cache-name }}-
${{ runner.os }}-build-
${{ runner.os }}-
- name: Build package
shell: bash
run: |
cabal update
cabal new-build zkfold-base
cabal new-build zkfold-base-test
cabal new-build zkfold-base-examples
- name: Upload package
env:
HACKAGE_PASSWORD: ${{ secrets.HACKAGE_PASSWORD }}
shell: bash
run: |
cabal sdist
cabal upload --username=VladimirSinyakov --password="$HACKAGE_PASSWORD" dist-newstyle/sdist/*.tar.gz
cabal v2-haddock --haddock-for-hackage --enable-doc
cabal upload --documentation --username=VladimirSinyakov --password="$HACKAGE_PASSWORD" dist-newstyle/*-docs.tar.gz