-
Notifications
You must be signed in to change notification settings - Fork 275
Cleanup GitHub actions #7480
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.
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
Cleanup GitHub actions #7480
Changes from all commits
af7033e
12d25a9
09813fa
97dcc54
2964edf
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -6,6 +6,7 @@ on: | |
- '**' | ||
|
||
jobs: | ||
# This job takes approximately 18 minutes | ||
CompileLinux: | ||
runs-on: ubuntu-20.04 | ||
steps: | ||
|
@@ -19,18 +20,18 @@ jobs: | |
DEBIAN_FRONTEND: noninteractive | ||
run: | | ||
sudo apt-get update | ||
sudo apt-get install --no-install-recommends -y g++ flex bison cmake ninja-build maven jq libxml2-utils dpkg-dev ccache | ||
sudo apt-get install --no-install-recommends -y clang-10 clang++-10 flex bison cmake ninja-build maven jq libxml2-utils dpkg-dev ccache | ||
sudo apt-get install --no-install-recommends -y libssl-dev libelf-dev libudev-dev libpci-dev libiberty-dev autoconf | ||
sudo apt-get install --no-install-recommends -y gawk jq | ||
|
||
- name: Prepare ccache | ||
uses: actions/cache@v3 | ||
with: | ||
path: .ccache | ||
key: ${{ runner.os }}-20.04-make-${{ github.ref }}-${{ github.sha }}-KERNEL | ||
key: ${{ runner.os }}-20.04-make-clang-${{ github.ref }}-${{ github.sha }}-KERNEL | ||
restore-keys: | | ||
${{ runner.os }}-20.04-make-${{ github.ref }} | ||
${{ runner.os }}-20.04-make | ||
${{ runner.os }}-20.04-make-clang-${{ github.ref }} | ||
${{ runner.os }}-20.04-make-clang | ||
- name: ccache environment | ||
run: | | ||
echo "CCACHE_BASEDIR=$PWD" >> $GITHUB_ENV | ||
|
@@ -40,7 +41,7 @@ jobs: | |
- name: Build CBMC tools | ||
run: | | ||
make -C src minisat2-download | ||
make -C src CXX='ccache /usr/bin/g++' cbmc.dir goto-cc.dir goto-diff.dir -j2 | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Why did the compiler change here? There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. This is to make sure we can actually use the compiler cache (and don't trash it by putting a different configuration in there). |
||
make -C src CXX='ccache /usr/bin/clang++' cbmc.dir goto-cc.dir goto-diff.dir -j2 | ||
- name: Print ccache stats | ||
run: ccache -s | ||
|
||
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I understand that these are informational only, but how are we going to track any changes to these numbers?
Or is the plan to be more laid back and only update them if we casually observe any change?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
For now I was thinking keep this informal, but maybe we should go a little further and do actual checks? Don't know, I'm open to suggestions.