Skip to content

Adjust badges for linux workflows #706

Adjust badges for linux workflows

Adjust badges for linux workflows #706

name: Test opam package
# Note that we must split up each command into a separate step for Windows, because otherwise we don't get error code
# See also https://github.com/avsm/setup-ocaml/issues/72
on:
push:
branches:
- master
schedule:
- cron: '0 0 1 * *'
jobs:
install:
strategy:
fail-fast: false
matrix:
coq-version: ['dev', '8.18.0', '8.17.0']
ocaml-compiler: ['4.11.1']
os: ['ubuntu-latest', 'macos-latest', 'windows-latest']
extra-ocaml-repositories: ['', 'opam-repository-mingw: https://github.com/ocaml-opam/opam-repository-mingw.git#sunset']
coq-extra-flags: ['-async-proofs-j 1', '']
opam-jobs-flag: ['-j 1', '']
exclude:
- os: 'ubuntu-latest'
coq-extra-flags: '-async-proofs-j 1'
- os: 'macos-latest'
coq-extra-flags: '-async-proofs-j 1'
- os: 'windows-latest'
coq-extra-flags: ''
- os: 'ubuntu-latest'
opam-jobs-flag: '-j 1'
- os: 'macos-latest'
opam-jobs-flag: '-j 1'
- os: 'windows-latest'
opam-jobs-flag: ''
- os: 'ubuntu-latest'
extra-ocaml-repositories: 'opam-repository-mingw: https://github.com/ocaml-opam/opam-repository-mingw.git#sunset'
- os: 'macos-latest'
extra-ocaml-repositories: 'opam-repository-mingw: https://github.com/ocaml-opam/opam-repository-mingw.git#sunset'
- os: 'windows-latest'
extra-ocaml-repositories: ''
runs-on: ${{ matrix.os }}
env:
OPAMYES: "true"
steps:
- name: Set up OCaml
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: ${{ matrix.ocaml-compiler }}
opam-repositories: |
${{ matrix.extra-ocaml-repositories }}
default: https://github.com/ocaml/opam-repository.git
- name: echo Linux build params
run: |
echo "::group::lscpu"
lscpu
echo "::endgroup::"
echo "::group::uname -a"
uname -a
echo "::endgroup::"
echo "::group::lsb_release -a"
lsb_release -a
echo "::endgroup::"
echo "::group::gcc -v"
gcc -v
echo "::endgroup::"
if: ${{ runner.os == 'Linux' }}
- name: echo macOS build params
run: |
echo "::group::sysctl -n machdep.cpu.brand_string"
sysctl -n machdep.cpu.brand_string
echo "::endgroup::"
echo "::group::sysctl -a | grep machdep.cpu"
sysctl -a | grep machdep.cpu
echo "::endgroup::"
echo "::group::uname -a"
uname -a
echo "::endgroup::"
echo "::group::sw_vers -productVersion"
sw_vers -productVersion
echo "::endgroup::"
echo "::group::system_profiler SPSoftwareDataType"
system_profiler SPSoftwareDataType
echo "::endgroup::"
if: ${{ runner.os == 'macOS' }}
- name: echo Windows build params
run: |
echo ::group::wmic cpu get caption, deviceid, name, numberofcores, maxclockspeed, status
wmic cpu get caption, deviceid, name, numberofcores, maxclockspeed, status
echo ::endgroup::
echo ::group::wmic cpu list /format:list
wmic cpu list /format:list
echo ::endgroup::
shell: cmd
if: ${{ runner.os == 'Windows' }}
- name: Work around https://github.com/actions/checkout/issues/766 / https://github.com/ocaml/setup-ocaml/issues/479 / https://github.com/actions/checkout/issues/767 / https://github.com/actions/checkout/issues/760
run: |
%CYGWIN_ROOT%\bin\bash.exe -l -c 'git config --global --add safe.directory "*"'
shell: cmd
if: ${{ runner.os == 'Windows' }}
- name: echo opam build params
run: |
echo ::group::ocamlc -config
opam exec -- ocamlc -config
echo ::endgroup::
echo ::group::opam list
opam list
echo ::endgroup::
- run: opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev
- run: opam repo add coq-released https://coq.inria.fr/opam/released
- run: opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
- run: opam update
- run: opam depext coq.${{ matrix.coq-version }}
- run: opam pin --kind=version add coq ${{ matrix.coq-version }}
- name: echo more build params
run: |
echo ::group::opam list
opam list
echo ::endgroup::
echo ::group::coqc --config
opam exec -- coqc --config
echo ::endgroup::
echo ::group::coqc --version
opam exec -- coqc --version
echo ::endgroup::
echo ::group::echo ~ coqtop
echo "" | opam exec -- coqtop
echo ::endgroup::
- run: opam exec -- opam-depext coq-fiat-crypto
- run: opam install coq-fiat-crypto ${{ matrix.opam-jobs-flag }}
env:
COQEXTRAFLAGS: ${{ matrix.coq-extra-flags }}
- name: cat opam logs (Linux, Mac)
run: |
for i in $(find ~/.opam/log/ -type f); do echo "::group::$i"; cat "$i"; echo "::endgroup::"; done
if: ${{ always() && ( runner.os == 'Linux' || runner.os == 'macOS' ) }}
- name: cat opam logs (Windows, native)
run: |
opam exec -- cat ~/.opam/log/*
true
if: ${{ always() && runner.os == 'Windows' }}
- name: cat opam logs (Windows)
run: |
%CYGWIN_ROOT%\bin\bash.exe -l -c 'for i in $(find ~/.opam/log/ -type f); do echo "::group::$i"; cat "$i"; echo "::endgroup::"; done'
shell: cmd
if: ${{ always() && runner.os == 'Windows' }}
- run: opam list
- run: opam exec -- word_by_word_montgomery -h
- run: opam exec -- unsaturated_solinas -h
- run: opam exec -- saturated_solinas -h
- run: opam exec -- base_conversion -h