From f980983e75b3cc8c8c25fe2ccf294fdf4792fa86 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= Date: Sat, 11 Jan 2025 13:11:14 -0800 Subject: [PATCH] ci: nits --- .github/workflows/build-linux.yml | 6 ++++-- .github/workflows/build-macos.yml | 5 +++-- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/.github/workflows/build-linux.yml b/.github/workflows/build-linux.yml index 879d07bec20..da2fc110b31 100644 --- a/.github/workflows/build-linux.yml +++ b/.github/workflows/build-linux.yml @@ -12,7 +12,7 @@ defaults: shell: bash jobs: - build: + build-linux: runs-on: ubuntu-22.04 # We prefer slightly older Ubuntu so we get binaries that work on # all more recent versions. @@ -46,8 +46,10 @@ jobs: eval $(opam env) KERNEL=$(uname -s) ARCH=$(uname -m) - make -skj$(nproc) package FSTAR_TAG=-$KERNEL-$ARCH + export FSTAR_TAG=-$KERNEL-$ARCH + make -skj$(nproc) package make -skj$(nproc) package-src FSTAR_TAG= + # ^ no tag in source package - uses: actions/upload-artifact@v4 with: diff --git a/.github/workflows/build-macos.yml b/.github/workflows/build-macos.yml index 4a9d2748e00..c943f9995f2 100644 --- a/.github/workflows/build-macos.yml +++ b/.github/workflows/build-macos.yml @@ -5,7 +5,7 @@ on: workflow_call: jobs: - build: + build-macos: runs-on: macos-latest steps: - uses: actions/checkout@master @@ -39,7 +39,8 @@ jobs: eval $(opam env) KERNEL=$(uname -s) ARCH=$(uname -m) - gmake -skj$(nproc) package FSTAR_TAG=-$KERNEL-$ARCH + export FSTAR_TAG=-$KERNEL-$ARCH + gmake -skj$(nproc) package - uses: actions/upload-artifact@v4 with: