Skip to content

Tweak experiment

Tweak experiment #3305

Workflow file for this run

on:
push:
branches:
- master
pull_request:
branches:
- master
jobs:
typecheck:
runs-on: ubuntu-latest
name: Typechecking
if: github.event.pull_request.draft == false
steps:
- name: "Clone repository"
uses: actions/checkout@v4
- name: "Save hashes of HEAD and HEAD~ into environment variables"
shell: bash
run: |
echo "head_sha=$(git log -1 --format=%h)" >> "$GITHUB_ENV"
echo "head_prec_sha=$(git log -3 --format=%h | tail -1)" >> "$GITHUB_ENV"
- name: "Print declared variables"
shell: bash
run: |
echo "head_sha = ${{ env.head_sha }}"
echo "head_prec_sha = ${{ env.head_prec_sha }}"
- name: "Restore cached .agdai files"
id: cache-agdai-restore
uses: actions/cache/restore@v4
with:
path: _build
key: ${{ runner.os }}-agdai-cache
- name: Run Agda
id: typecheck
uses: ayberkt/[email protected]
with:
main-file: AllModulesIndex.lagda
source-dir: source
unsafe: true
- name: "Save .agdai files"
id: cache-agdai-save
uses: actions/cache/save@v4
with:
path: _build
key: ${{ steps.cache-agdai-restore.outputs.cache-primary-key }}
- name: Upload HTML
id: html-upload
if: github.ref == 'refs/heads/master'
uses: actions/upload-artifact@v3
with:
name: html
path: source/html