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

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

Changes from 1 commit
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
02b45c8
Specify use of self-hosted runners for github CI.
kquick Jul 21, 2021
d22b5f1
Use self hosted runner for ubuntu build job.
kquick Jul 21, 2021
0d89da5
Update label for self-hosted; no other labels currently assigned.
kquick Jul 21, 2021
5da9420
Add a better name for an interim step.
kquick Jul 21, 2021
f045956
Add system dependency initialization for Linux in case of self-hosted…
kquick Jul 21, 2021
6930777
Run CI s2n proofs on internal self-hosted runners.
kquick Jul 22, 2021
7b74cc1
Add names for various CI steps.
kquick Jul 23, 2021
74c2ac8
Modify CI upload to trigger on os type, not distribution name.
kquick Jul 23, 2021
39bff81
Add CI system dependencies for the "Test s2n proofs" jobs.
kquick Jul 23, 2021
5b24d3f
The s2n tests don't depend on GHC build version: run only for one build.
kquick Jul 23, 2021
e811539
Add libtinfo6 system dependency for s2n tests CI job.
kquick Jul 23, 2021
2a89736
Update CI workflow to reference uploads/downloads by runner OS for st…
kquick Jul 23, 2021
c008092
Add build-essential packages to s2n CI deployment.
kquick Jul 27, 2021
8642dbb
Add load-path debug for s2n testing under CI/docker-compose.
kquick Jul 27, 2021
676dab8
Add libtinfo6 to s2n docker configuration to allow running saw.
kquick Jul 27, 2021
0a85b79
Update s2n testing docker image to ubuntu:20.04 to match (self-hosted…
kquick Jul 27, 2021
ad6cdb4
Skip Windows builds in CI for collecting built cabal tests for later …
kquick Jul 28, 2021
72e12ea
CI consolidation on ubuntu 20.04 (from 18.04) to match internal runners.
kquick Jul 28, 2021
bc99ad1
[s2nTests/docker] Use clang/llvm v5; Ubuntu 20.04 removed 3.9
kquick Jul 28, 2021
fc70554
[s2nTests/docker] use clang/llvm version 10
kquick Jul 28, 2021
eddcdbf
Use static executable builds to resolve OS inconsistencies in shared …
kquick Jul 30, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Add a better name for an interim step.
  • Loading branch information
@kquick
kquick committed Jul 21, 2021
commit 5da942087c198c8480b0d84ca886fe4998d013f0
1 change: 1 addition & 0 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -99,6 +99,7 @@ jobs:
${{ env.CACHE_VERSION }}-cabal-${{ runner.os }}-${{ matrix.ghc }}-${{ hashFiles(format('cabal.GHC-{0}.config', matrix.ghc)) }}-

- if: needs.config.outputs.release == 'true'
name: Set release version
shell: bash
run: |
sed -i.bak \
Expand Down