Merge pull request #7 from zkFold/build-and-ci #1

	name: CI Push

	on:
	push:
	branches: [ main ]

	workflow_dispatch:

	env:
	CARGO_TERM_COLOR: always

	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: Set up cargo-c
	run: \|
	cargo install cargo-c

	- 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 build all -f Pedantic

	# - name: Upload package
	# env:
	# HACKAGE_PASSWORD: ${{ secrets.HACKAGE_PASSWORD }}
	# shell: bash
	# run: \|
	# cabal sdist symbolic-base
	# cabal upload --username=VladimirSinyakov --password="$HACKAGE_PASSWORD" dist-newstyle/sdist/*.tar.gz

	# cabal v2-haddock symbolic-base --haddock-for-hackage --enable-doc
	# cabal upload --documentation --username=VladimirSinyakov --password="$HACKAGE_PASSWORD" dist-newstyle/*-docs.tar.gz

Provide feedback