Skip to content

Added packages to release for ubuntu-20.04 only. #1595

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

Merged
YoshikiTakashima merged 13 commits into from
Aug 29, 2022
Merged

Added packages to release for ubuntu-20.04 only. #1595

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
94442ca
Added packages to release for ubuntu-20.04 only.
Aug 26, 2022
e336cc0
Reduced image size.
Aug 27, 2022
53bfe60
Changed from matrix.
Aug 27, 2022
6a06601
Merge branch 'main' of github.com:model-checking/kani into 1587-relea…
Aug 27, 2022
8d7a571
Missing path in variable invocation.
Aug 27, 2022
ea9f5da
Copy without version dependence.
Aug 27, 2022
7ab184b
Eliminated hard-coded values
Aug 27, 2022
377f540
Removed redundant input.
Aug 27, 2022
7236a69
Added missing package command.
Aug 27, 2022
9661ee7
Forgot to make owner flexible.
Aug 27, 2022
31100e4
Fixed docker push fail: uppercase in name.
Aug 27, 2022
ed454b3
Missing permissions.
Aug 27, 2022
36e438f
Reverted unrelated testbundle Dockerfile
Aug 29, 2022
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
43 changes: 42 additions & 1 deletion .github/workflows/release.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -72,7 +72,7 @@ jobs:
uses: ./.github/actions/setup
with:
os: ${{ matrix.os }}

- name: Build release bundle
run: |
cargo run -p make-kani-release -- ${{ needs.Release.outputs.version }}
Expand All @@ -86,3 +86,44 @@ jobs:
asset_path: kani-${{ needs.Release.outputs.version }}-${{ matrix.target }}.tar.gz
asset_name: kani-${{ needs.Release.outputs.version }}-${{ matrix.target }}.tar.gz
asset_content_type: application/gzip

Package-Docker:
name: 'Package Docker'
needs: Release
runs-on: ubuntu-20.04
permissions:
contents: write
strategy:
os: ubuntu-20.04
target: x86_64-unknown-linux-gnu
steps:
- name: Checkout code
uses: actions/checkout@v2

- name: Setup Kani Dependencies
uses: ./.github/actions/setup
with:
os: ubuntu-20.04

- name: 'Build release bundle'
run: |
cargo run -p make-kani-release -- ${{ needs.Release.outputs.version }}

- name: 'Login to GitHub Container Registry'
uses: docker/login-action@v2
with:
registry: ghcr.io
username: model-checking
password: ${{ secrets.GITHUB_TOKEN }}

- name: Build and push
uses: docker/build-push-action@v3
with:
registry: ghcr.io
context: .
file: scripts/ci/Dockerfile.bundle-test-ubuntu-20-04
Comment thread
YoshikiTakashima marked this conversation as resolved.
Outdated
push: true
github-token: ${{ secrets.GITHUB_TOKEN }}
tags: |
ghcr.io/model-checking/kani-${{ matrix.target }}:${{ needs.Release.outputs.version }}
ghcr.io/model-checking/kani-${{ matrix.target }}:latest
2 changes: 2 additions & 0 deletions scripts/ci/Dockerfile.bundle-test-ubuntu-20-04
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,3 +18,5 @@ COPY ./kani-latest-x86_64-unknown-linux-gnu.tar.gz ./
COPY ./target/package/kani-verifier-*[^e] ./kani-verifier
RUN cargo install --path ./kani-verifier
RUN cargo-kani setup --use-local-bundle ./kani-latest-x86_64-unknown-linux-gnu.tar.gz

LABEL org.opencontainers.image.source https://github.com/model-checking/kani