Merge pull request #175 from mtzguido/actions

actions

.github/workflows/linux-build.yaml

@@ -6,7 +6,7 @@ jobs:
     runs-on: [self-hosted, linux, X64]
     steps:
       - name: Check out repo        
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
       - name: Identify the base FStar branch and the notification channel
         run: |
           echo "FSTAR_BRANCH=$(jq -c -r '.BranchName' .docker/build/config.json)" >> $GITHUB_ENV
@@ -19,7 +19,7 @@ jobs:
         env:
           DZOMO_GITHUB_TOKEN: ${{ secrets.DZOMO_GITHUB_TOKEN }}
       - name: Archive Steel package
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         with:
           name: steel.tar
           path: steel.tar

.github/workflows/linux-x64-nightly.yaml

@@ -11,7 +11,7 @@ jobs:
         run: |
           echo "CI_INITIAL_TIMESTAMP=$(date '+%s')" >> $GITHUB_ENV
       - name: Check out repo        
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
       - name: Identify the base FStar branch and the notification channel
         run: |
           echo "FSTAR_BRANCH=$(jq -c -r '.RepoVersions.fstar' src/ci/config.json || echo master)" >> $GITHUB_ENV
@@ -75,7 +75,7 @@ jobs:
         run: |
           echo "CI_INITIAL_TIMESTAMP=$(date '+%s')" >> $GITHUB_ENV
       - name: Check out repo        
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
       - name: Identify the base FStar branch and the notification channel
         run: |
           echo "FSTAR_BRANCH=$(jq -c -r '.RepoVersions.fstar' src/ci/config.json || echo master)" >> $GITHUB_ENV
@@ -107,7 +107,8 @@ jobs:
       - name: Post to the Slack channel
         if: ${{ always() }}
         id: slack
-        uses: slackapi/[email protected]
+        continue-on-error: true
+        uses: slackapi/[email protected]
         with:
           channel-id: ${{ env.CI_SLACK_CHANNEL }}
           payload: |

.github/workflows/linux-x64.yaml

@@ -21,7 +21,7 @@ jobs:
         run: |
           echo "CI_INITIAL_TIMESTAMP=$(date '+%s')" >> $GITHUB_ENV
       - name: Check out repo        
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
       - name: Identify the base FStar branch and the notification channel
         run: |
           echo "FSTAR_BRANCH=$(jq -c -r '.RepoVersions.fstar' src/ci/config.json || echo master)" >> $GITHUB_ENV
@@ -74,7 +74,8 @@ jobs:
       - name: Post to the Slack channel
         if: ${{ always() }}
         id: slack
-        uses: slackapi/[email protected]
+        uses: slackapi/[email protected]
+        continue-on-error: true
         with:
           channel-id: ${{ env.CI_SLACK_CHANNEL }}
           payload: |

.github/workflows/macos-build.yml

@@ -11,16 +11,16 @@ jobs:
 
     steps:
     - name: Checkout Steel
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
       with:
         path: steel
     - name: Checkout everest
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
       with:
         repository: project-everest/everest
         path: steel/.github/everest
     - name: Install .NET SDK
-      uses: actions/setup-dotnet@v3
+      uses: actions/setup-dotnet@v4
       with:
         dotnet-version: '6.0.x'
     - name: Setup dependencies
@@ -30,7 +30,7 @@ jobs:
         source steel/.github/env.sh
         steel/src/ci/package.sh -j
     - name: Upload artifact
-      uses: actions/upload-artifact@v3
+      uses: actions/upload-artifact@v4
       with:
         name: steel-Darwin_x86_64.tar.gz
         path: steel/src/ci/steel.tar.gz

src/ci/ci.Dockerfile

@@ -20,6 +20,7 @@ ENV FSTAR_HOME=$HOME/FStar
 ENV KRML_HOME=$HOME/karamel
 RUN sudo apt-get update && sudo apt-get install --yes --no-install-recommends \
     wget \
+    pkg-config \
     jq \
     && \
     git clone --branch $(jq -c -r '.RepoVersions.fstar' steel/src/ci/config.json || echo master) https://github.com/FStarLang/FStar $FSTAR_HOME && \