Skip to content

Adapt w.r.t. coq/coq#17955. (#93) #129

Adapt w.r.t. coq/coq#17955. (#93)

Adapt w.r.t. coq/coq#17955. (#93) #129

Workflow file for this run

name: CI (Coq, docker, dev)
on:
push:
pull_request:
workflow_dispatch:
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- name: all
uses: coq-community/docker-coq-action@v1
with:
coq_version: dev
ocaml_version: 4.13-flambda
custom_script: |
sudo chmod -R a+rw .
echo '::group::install general dependencies'
sudo apt-get update -y
sudo apt-get install -y python python3
eval $(opam env)
echo '::endgroup::'
export TARGETS="fiat-core parsers"
export FLAGS="PROFILE=1"
export NJOBS="2"
git config --global --add safe.directory "*"
etc/coq-scripts/timing/make-pretty-timed.sh -j$NJOBS $TARGETS $FLAGS && make TIMED=1 -j$NJOBS $TARGETS