Skip to content

Commit

Permalink
User docker for master test
Browse files Browse the repository at this point in the history
  • Loading branch information
JasonGross committed Nov 1, 2023
1 parent bdffdd0 commit 671ea1f
Show file tree
Hide file tree
Showing 4 changed files with 144 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/coq.yml
Original file line number Diff line number Diff line change
Expand Up @@ -45,8 +45,8 @@ jobs:
coqc -config
true | coqtop
- uses: actions/checkout@v4
- name: submodules-init
uses: snickerbockers/submodules-init@v4
with:
submodules: recursive
- name: remove autogenerated
run: etc/ci/remove_autogenerated.sh
- name: some-early util
Expand Down
88 changes: 88 additions & 0 deletions .github/workflows/docker-coq.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,88 @@
name: CI (Coq, docker, dev)

on:
push:
branches: [ sp2019latest ]
pull_request:
workflow_dispatch:
schedule:
- cron: '0 0 1 * *'

jobs:
docker-build:
strategy:
fail-fast: false
matrix:
include:
- env: { COQ_VERSION: "master", DOCKER_COQ_VERSION: "dev", DOCKER_OCAML_VERSION: "default", SKIP_DISPLAY_TEST: "1", CC: "gcc", ALLOW_DIFF: "" }
os: 'ubuntu-latest'

runs-on: ${{ matrix.os }}
env: ${{ matrix.env }}
name: ${{ matrix.env.COQ_VERSION }}

concurrency:
group: ${{ github.workflow }}-${{ matrix.env.COQ_VERSION }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true

steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- name: echo host build params
run: etc/ci/describe-system-config.sh
- name: echo container build params
uses: coq-community/docker-coq-action@v1
with:
coq_version: ${{ matrix.env.DOCKER_COQ_VERSION }}
ocaml_version: ${{ matrix.env.DOCKER_OCAML_VERSION }}
export: CI ALLOW_DIFF SKUP_DISPLAY_TEST CC
custom_script: |
eval $(opam env)
etc/ci/describe-system-config.sh
- name: remove autogenerated
run: etc/ci/remove_autogenerated.sh
- name: build
uses: coq-community/docker-coq-action@v1
with:
coq_version: ${{ matrix.env.DOCKER_COQ_VERSION }}
ocaml_version: ${{ matrix.env.DOCKER_OCAML_VERSION }}
export: CI ALLOW_DIFF SKUP_DISPLAY_TEST CC
custom_script: |
startGroup 'install gcc'
sudo apt-get update -q
sudo apt-get install g++-7 libssl-dev -y --allow-unauthenticated
sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-7 60 --slave /usr/bin/g++ g++ /usr/bin/g++-7
endGroup
startGroup 'some-early util'
etc/ci/github-actions-docker-make.sh -j2 some-early util
endGroup
startGroup 'printlite lite'
etc/ci/github-actions-docker-make.sh -j2 printlite lite
endGroup
startGroup no-curves-proofs-non-specific
etc/ci/github-actions-docker-make.sh -j2 no-curves-proofs-non-specific
endGroup
startGroup curves-proofs
etc/ci/github-actions-docker-make.sh -j2 curves-proofs
endGroup
startGroup selected-specific selected-specific-display
ALLOW_DIFF="${SKIP_DISPLAY_TEST}" etc/ci/github-actions-docker-make.sh -j2 selected-specific selected-specific-display
endGroup
#startGroup selected-specific-display-test
#etc/ci/github-actions-docker-make.sh -j2 selected-specific-display-test
#endGroup
#if: env.SKIP_DISPLAY_TEST != '1'
#startGroup build-selected-test build-selected-bench
#etc/ci/github-actions-docker-make.sh -j2 build-selected-test build-selected-bench
#endGroup
#if: env.SKIP_DISPLAY_TEST != '1'
#startGroup test for adx
#etc/assert-adx.sh || true
#endGroup
#continue-on-error: true
#if: env.SKIP_DISPLAY_TEST != '1'
#startGroup selected-test selected-bench
#ALLOW_DIFF=1 SKIP_ICC="$(etc/assert-adx.sh || echo 1)" etc/ci/github-actions-docker-make.sh -j2 selected-test selected-bench
#endGroup
#if: env.SKIP_DISPLAY_TEST != '1'
32 changes: 32 additions & 0 deletions etc/ci/describe-system-config.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,32 @@
#!/usr/bin/env bash

cd -- "$( dirname -- "${BASH_SOURCE[0]}" )"
cd ../..

function run() {
"${SHELL}" -c "$@" || true
}

if [ ! -z "$CI" ]; then
function group() {
echo "::group::$@"
run "$@"
echo "::endgroup::"
}
else
function group() { run "$@"; }
fi

group lscpu
group uname -a
group lsb_release -a
group ulimit -aH
group ulimit -aS
group ghc --version
group gcc -v
group ocamlc -config
group coqc --config
group coqc --version
group "true | coqtop"
group etc/machine.sh
group "echo PATH=$PATH"
22 changes: 22 additions & 0 deletions etc/ci/github-actions-docker-make.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
#!/usr/bin/env bash

set -x

cd -- "$( dirname -- "${BASH_SOURCE[0]}" )"
cd ../..

if [ -z "${EXTRA_PACKAGES+x}" ]; then
EXTRA_PACKAGES=""
fi

sudo chmod -R a=u .
# Work around https://github.com/actions/checkout/issues/766
git config --global --add safe.directory "*"
echo '::group::install general dependencies'
sudo apt-get update -y
sudo apt-get install -y python python3 bsdmainutils ${EXTRA_PACKAGES}
eval $(opam env)
echo '::endgroup::'
echo '::remove-matcher owner=coq-problem-matcher::'
etc/ci/describe-system-config.sh
etc/ci/github-actions-make.sh "$@"

0 comments on commit 671ea1f

Please sign in to comment.