Skip to content
continuous integration

refactor prior to upstreaming #3

Sign in to view logs

refactor prior to upstreaming

refactor prior to upstreaming #3

Workflow file for this run

.github/workflows/test.yml at a4aae91
on:
push:
name: continuous integration
jobs:
build:
name: test

Check failure on line 8 in .github/workflows/test.yml

View workflow run for this annotation

GitHub Actions / continuous integration

Invalid workflow file 

The workflow is not valid. .github/workflows/test.yml (Line: 8, Col: 5): Required property is missing: runs-on
steps:
- name: install elan
run: |
set -o pipefail
curl -sSfL https://github.com/leanprover/elan/releases/download/v3.0.0/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
./elan-init -y --default-toolchain none
echo "$HOME/.elan/bin" >> $GITHUB_PATH
- uses: actions/checkout@v3
- name: test
run: |
./test.sh