Skip to content

Merge pull request #3208 from buzden/bump-deprecated-actions #147

Merge pull request #3208 from buzden/bump-deprecated-actions

Merge pull request #3208 from buzden/bump-deprecated-actions #147

Workflow file for this run

######################################################################
# Unlike the main yml file this uses the LTS version of chezscheme,
# not the hirsute one. The main purpose is to make sure that
# `make bootstrap` does not rely on `__collect_safe`.
#
# Note that we are *not* running on ubuntu-latest so this needs manual
# upgrades if we want to jump on a newer github actions environment.
######################################################################
name: Bootstrap
on:
push:
paths:
- 'bootstrap/idris2_app/idris2.ss'
- '.github/workflows/ci-bootstrap.yml'
pull_request:
paths:
- 'bootstrap/idris2_app/idris2.ss'
- '.github/workflows/ci-bootstrap.yml'
jobs:
initialise:
runs-on: ubuntu-20.04
steps:
- name: Checkout Project
uses: actions/checkout@v4
with:
# for pull_request so we can do HEAD^2
fetch-depth: 2
- name: Get commit message
id: get_commit_message
run: |
if [[ '${{ github.event_name }}' == 'push' ]]; then
echo "commit_message=$(git log --format=%B -n 1 HEAD | tr '\n' ' ')" >> "$GITHUB_OUTPUT"
elif [[ '${{ github.event_name }}' == 'pull_request' ]]; then
echo "commit_message=$(git log --format=%B -n 1 HEAD^2 | tr '\n' ' ')" >> "$GITHUB_OUTPUT"
fi
outputs:
commit_message:
echo "${{ steps.get_commit_message.outputs.commit_message }}"
bootstrap:
needs: initialise
runs-on: ubuntu-20.04
if: |
!contains(needs.initialise.outputs.commit_message, '[ci: skip]')
env:
IDRIS2_CG: chez
SCHEME: scheme
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Install build dependencies (LTS versions)
run: |
sudo apt-get update
sudo apt-get install -y chezscheme
echo "$HOME/.idris2/bin" >> "$GITHUB_PATH"
- name: Build bootstrap
run: make bootstrap