Skip to content

Build

Build #2015

Workflow file for this run

---
name: Build
on:
push:
branches:
- '**'
tags:
- '**'
pull_request:
branches:
- main
schedule:
- cron: '0 21 * * *'
permissions: read-all
defaults:
run:
shell: bash
jobs:
build:
name: Build pack with Idris2 latest
runs-on: ubuntu-latest
env:
PACK_DIR: /root/.pack
strategy:
fail-fast: false
container: ghcr.io/stefan-hoeck/idris2-pack:latest
steps:
- name: Checkout
uses: actions/checkout@v2
- name: Build lib
run: pack typecheck pack.ipkg
- name: Build admin
run: pack typecheck pack-admin.ipkg
micropack:
name: Bootstrap with micropack
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Install scheme
run: |
sudo apt-get update
sudo apt-get install --yes chezscheme libgmp3-dev nodejs
- name: Run installation script
run: |
make micropack SCHEME=chezscheme
echo "$HOME/.pack/bin" >> "$GITHUB_PATH"
- name: Install application
run: pack install graph
- name: Run examples
run: |
cd example1
pack run chem-formula-example-test -n 1000
cd ../example2
pack run chem-smiles-example-test -n 1000
micropack-racket:
name: Bootstrap with micropack-racket
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Install scheme
run: |
sudo apt-get update
sudo apt-get install --yes racket libgmp3-dev nodejs
- name: Run installation script
run: |
make micropack-racket
echo "$HOME/.pack/bin" >> "$GITHUB_PATH"
- name: Install application
run: pack install graph
- name: Run examples
run: |
cd example1
pack run chem-formula-example-test -n 1000
cd ../example2
pack run chem-smiles-example-test -n 1000
shellscript:
name: Bootstrap with the shell script
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Install scheme
run: |
sudo apt-get update
sudo apt-get install --yes chezscheme libgmp3-dev nodejs
- name: Run installation script
run: |
echo chezscheme | bash -c ./install.bash
echo "$HOME/.pack/bin" >> "$GITHUB_PATH"
- name: Install application
run: pack install graph
- name: Run examples
run: |
cd example1
pack run chem-formula-example-test -n 1000
cd ../example2
pack run chem-smiles-example-test -n 1000
shellscript-racket:
name: Bootstrap with the shell script and racket
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Install scheme
run: |
sudo apt-get update
sudo apt-get install --yes racket libgmp3-dev nodejs
- name: Run installation script
run: |
echo racket | bash -c ./install.bash
echo "$HOME/.pack/bin" >> "$GITHUB_PATH"
- name: Install application
run: pack install graph
- name: Run examples
run: |
cd example1
pack run chem-formula-example-test -n 1000
cd ../example2
pack run chem-smiles-example-test -n 1000