Juvix standard library CI #715

	name: Juvix standard library CI

	on:
	push:
	branches:
	- main
	pull_request:
	branches:
	- main
	types:
	- opened
	- reopened
	- synchronize
	- ready_for_review
	schedule:
	- cron: '0 3 * * 1'

	concurrency:
	group: ${{ github.workflow }}-${{ github.head_ref \|\| github.run_id }}
	cancel-in-progress: true

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout Juvix
	uses: actions/checkout@v3
	with:
	repository: anoma/juvix
	path: juvix
	submodules: false

	- name: Set bundled stdlib to PR branch commit
	run: \|
	cd juvix
	git submodule update --init --recursive
	cd juvix-stdlib
	git checkout $GITHUB_SHA \|\| git checkout ${{ github.event.pull_request.head.sha }}

	- name: install LLVM
	run: \|
	sudo apt install llvm

	- name: Make runtime
	run: \|
	cd juvix
	make runtime

	- name: Stack setup
	id: stack
	uses: freckle/stack-action@v4
	with:
	working-directory: juvix
	test: false
	fast: false

	- name: Install Juvix
	run: \|
	cd juvix
	echo "$GITHUB_WORKSPACE/.local/bin" >> $GITHUB_PATH
	stack install

	- name: Checkout Std Library
	uses: actions/checkout@v3

	- name : Typecheck library code
	run : make check

	- name: HTML
	run: make html

	- name: test
	run: make test

	- name: check-format-and-typecheck-all
	shell: bash
	run: \|
	make check-format && make typecheck

	- name: Deploy HTML to github pages
	uses: peaceiris/actions-gh-pages@v3
	if: >-
	github.ref == 'refs/heads/main'
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: docs
	enable_jekyll: false

Provide feedback