Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Specify use of self-hosted runners for github CI. #1387

Open
wants to merge 21 commits into
base: master
Choose a base branch
from
Open

Specify use of self-hosted runners for github CI. #1387

wants to merge 21 commits into from

Commits on Jul 21, 2021

  1. Specify use of self-hosted runners for github CI.

    @kquick
    kquick committed Jul 21, 2021
    Configuration menu
    Copy the full SHA
    02b45c8 View commit details
    Browse the repository at this point in the history

  2. Use self hosted runner for ubuntu build job.

    @kquick
    kquick committed Jul 21, 2021
    Configuration menu
    Copy the full SHA
    d22b5f1 View commit details
    Browse the repository at this point in the history

  3. Update label for self-hosted; no other labels currently assigned.

    @kquick
    kquick committed Jul 21, 2021
    Configuration menu
    Copy the full SHA
    0d89da5 View commit details
    Browse the repository at this point in the history

  4. Add a better name for an interim step.

    @kquick
    kquick committed Jul 21, 2021
    Configuration menu
    Copy the full SHA
    5da9420 View commit details
    Browse the repository at this point in the history

  5. Add system dependency initialization for Linux in case of self-hosted… 

    … runners.
    @kquick
    kquick committed Jul 21, 2021
    Configuration menu
    Copy the full SHA
    f045956 View commit details
    Browse the repository at this point in the history

Commits on Jul 22, 2021

  1. Run CI s2n proofs on internal self-hosted runners.

    @kquick
    kquick committed Jul 22, 2021
    Configuration menu
    Copy the full SHA
    6930777 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2021

  1. Add names for various CI steps.

    @kquick
    kquick committed Jul 23, 2021
    Configuration menu
    Copy the full SHA
    7b74cc1 View commit details
    Browse the repository at this point in the history

  2. Modify CI upload to trigger on os type, not distribution name.

    @kquick
    kquick committed Jul 23, 2021
    Configuration menu
    Copy the full SHA
    74c2ac8 View commit details
    Browse the repository at this point in the history

  3. Add CI system dependencies for the "Test s2n proofs" jobs.

    @kquick
    kquick committed Jul 23, 2021
    Configuration menu
    Copy the full SHA
    39bff81 View commit details
    Browse the repository at this point in the history

  4. The s2n tests don't depend on GHC build version: run only for one build.

    @kquick
    kquick committed Jul 23, 2021
    Configuration menu
    Copy the full SHA
    5b24d3f View commit details
    Browse the repository at this point in the history

  5. Add libtinfo6 system dependency for s2n tests CI job.

    @kquick
    kquick committed Jul 23, 2021
    Configuration menu
    Copy the full SHA
    e811539 View commit details
    Browse the repository at this point in the history

  6. Update CI workflow to reference uploads/downloads by runner OS for st… 

    …ability
    @kquick
    kquick committed Jul 23, 2021
    Configuration menu
    Copy the full SHA
    2a89736 View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2021

  1. Add build-essential packages to s2n CI deployment.

    @kquick
    kquick committed Jul 27, 2021
    Configuration menu
    Copy the full SHA
    c008092 View commit details
    Browse the repository at this point in the history

  2. Add load-path debug for s2n testing under CI/docker-compose.

    @kquick
    kquick committed Jul 27, 2021
    Configuration menu
    Copy the full SHA
    8642dbb View commit details
    Browse the repository at this point in the history

  3. Add libtinfo6 to s2n docker configuration to allow running saw.

    @kquick
    kquick committed Jul 27, 2021
    Configuration menu
    Copy the full SHA
    676dab8 View commit details
    Browse the repository at this point in the history

  4. Update s2n testing docker image to ubuntu:20.04 to match (self-hosted… 

    …) builder
    @kquick
    kquick committed Jul 27, 2021
    Configuration menu
    Copy the full SHA
    0a85b79 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2021

  1. Skip Windows builds in CI for collecting built cabal tests for later … 

    …use.

The CI process runs the cabal tests in a separate job from the build
process.  To do this, the build process "collects" the tests by
building them and uploading them.  This test-build portion fails for
Windows (symptom is the linker finding a duplicate symbol, cause is
probably misconfiguration and use of multiple versions of the same
dependency).  Since the tests are not run for Windows, this
build+upload/collection step should not be needed for Windows and can
be skipped.
    @kquick
    kquick committed Jul 28, 2021
    Configuration menu
    Copy the full SHA
    ad6cdb4 View commit details
    Browse the repository at this point in the history

  2. CI consolidation on ubuntu 20.04 (from 18.04) to match internal runners.

    @kquick
    kquick committed Jul 28, 2021
    Configuration menu
    Copy the full SHA
    72e12ea View commit details
    Browse the repository at this point in the history

  3. [s2nTests/docker] Use clang/llvm v5; Ubuntu 20.04 removed 3.9

    @kquick
    kquick committed Jul 28, 2021
    Configuration menu
    Copy the full SHA
    bc99ad1 View commit details
    Browse the repository at this point in the history

  4. [s2nTests/docker] use clang/llvm version 10

    @kquick
    kquick committed Jul 28, 2021
    Configuration menu
    Copy the full SHA
    fc70554 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2021

  1. Use static executable builds to resolve OS inconsistencies in shared … 

    …libs
    @kquick
    kquick committed Jul 30, 2021
    Configuration menu
    Copy the full SHA
    eddcdbf View commit details
    Browse the repository at this point in the history