Skip to content

Update automation.v #403

Update automation.v

Update automation.v #403

Workflow file for this run

# This is a basic workflow to help you get started with Actions
name: CI
# Controls when the action will run.
on:
# Triggers the workflow on push or pull request events but only for the main branch
push:
branches: [ main ]
pull_request:
branches: [ main ]
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
# This workflow contains a single job called "build"
build:
# The type of runner that the job will run on
runs-on: ubuntu-latest
env:
OCAML: "ocaml-variants.4.14.0+options ocaml-option-flambda"
OPAM_PINS: "coq version 8.19.0 isla-lang git git+https://github.com/rems-project/isla-lang.git"
CPU_CORES: "1"
DENY_WARNINGS: "1"
CI_RUNNER: "dummy"
MAKE_TARGET: "all_and_tests"
container:
image: ralfjung/opam-ci:opam2
options: --user 1001
# Steps represent a sequence of tasks that will be executed as part of the job
steps:
# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
- uses: actions/checkout@v2
- name: Cache opam
uses: actions/cache@v2
with:
path: |
_opam
key: coq-${{ hashFiles('**/islaris.opam') }}
- name: Run CI
run: |
export CI_PROJECT_DIR="$(pwd)"
git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b opam2
ci/buildjob