Merge pull request #3 from outpost-os/publish-fix

gh: finishing publication fixes
outpost-os · Jul 31, 2024 · 0682966 · 0682966
2 parents c45d9b5 + c70288d
commit 0682966
Show file tree

Hide file tree

Showing 3 changed files with 26 additions and 21 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -91,7 +91,7 @@ jobs:
           targets: thumbv7m-none-eabi,thumbv7em-none-eabi,thumbv7em-none-eabihf
           components: clippy,rustfmt
       - name: Setup C toolchain
-        uses: embedded-devops/action-setup-compiler@main
+        uses: outpost-os/action-setup-compiler@v1
         with:
           compiler: ${{ env.compiler }}
           triple: arm-none-eabi
@@ -100,6 +100,11 @@ jobs:
         with:
           fetch-depth: 0
           fetch-tags: true
+          set-safe-directory: true
+      - name: set safe dir for dunami (to be removed)
+        run: |
+          git config --global --add safe.directory '*'
+        shell: bash
       - name: deploy local deps
         run: |
           pip install --upgrade pip
@@ -159,6 +164,11 @@ jobs:
         with:
           fetch-depth: 0
           fetch-tags: true
+          set-safe-directory: true
+      - name: set safe dir for dunami (to be removed)
+        run: |
+          git config --global --add safe.directory '*'
+        shell: bash
       - name: deploy local deps
         run: |
           pip install -r requirements.txt
@@ -210,14 +220,19 @@ jobs:
         with:
           fetch-depth: 0
           fetch-tags: true
+          set-safe-directory: true
       - name: deploy local deps
         run: |
           pip install -r requirements.txt
       - name: defconfig
         run: |
           defconfig configs/stm32f429i_disc1_debug_defconfig
+      - name: set safe dir for dunami (to be removed)
+        run: |
+          git config --global --add safe.directory '*'
+        shell: bash
       - name: Meson Doc
-        uses: embedded-devops/action-meson@main
+        uses: outpost-os/action-meson@v1
         with:
           actions: '["prefetch", "setup"]'
           options: '-Dconfig=.config -Ddts=dts/examples/stm32f429i_disc1_debug.dts -Ddts-include-dirs=dts -Dwith_doc=true -Dwith_uapi=false -Dwith_idle=false'

diff --git a/.github/workflows/proof.yml b/.github/workflows/proof.yml
@@ -1,9 +1,7 @@
 name: Sentry kernel proof
 
 on:
-  pull_request:
-    branches:
-    - main
+  workflow_dispatch:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
@@ -21,12 +19,7 @@ jobs:
       - name: install prerequisites pkg
         uses: outpost-os/action-install-pkg@v1
         with:
-          packages: 'dtc|device-tree-compiler,curl,lld,opam,why3,graphviz,libgmp-dev,libgtksourceview-3.0-dev'
-      - name: install frama-C
-        run: |
-          opam init --compiler 4.14.1 --disable-sandboxing --yes --confirm-level=yes
-          eval $(opam env)
-          opam install --yes --confirm-level=yes frama-c
+          packages: 'dtc|device-tree-compiler,curl,lld,opam,why3,graphviz,frama-c-base,z3'
       - name: Clone cross-files
         uses: actions/checkout@v4
         with:
@@ -55,12 +48,18 @@ jobs:
         with:
           ref: ${{ github.ref }}
           fetch-depth: 0
+          set-safe-directory: true
+
       - name: Install local deps
         run: |
           pip3 install -r requirements.txt
       - name: defconfig
         run: |
           defconfig configs/nucleo_u5a5_autotest_defconfig
+      - name: set safe dir for dunami (to be removed)
+        run: |
+          git config --global --add safe.directory '*'
+        shell: bash
       - name: Meson Build
         uses: outpost-os/action-meson@main
         with:
@@ -70,7 +69,6 @@ jobs:
       - name: run framaC
         run: |
           why3 config detect
-          frama-c -wp-detect
           cd builddir && meson test --suite proof
       - name: Meson postcheck
         if: failure()

diff --git a/README.md b/README.md
@@ -2,15 +2,7 @@
 
 ## Current project state
 
-![Build-n-test](https://git.orange.ledgerlabs.net/outpost/sentry-kernel/actions/workflows/build.yml/badge.svg)
-![Quality](https://git.orange.ledgerlabs.net/outpost/sentry-kernel/actions/workflows/codequal.yml/badge.svg)
-
-[![Quality Gate Status](https://sonarqube.orange.ledgerlabs.net/api/project_badges/measure?branch=main&project=sentry-kernel&metric=alert_status&token=cb81b19de8549e9c2701899ecba06d9526bf5513)](https://sonarqube.orange.ledgerlabs.net/dashboard?id=sentry-kernel&branch=main)
-[![Reliability Rating](https://sonarqube.orange.ledgerlabs.net/api/project_badges/measure?branch=main&project=sentry-kernel&metric=reliability_rating&token=cb81b19de8549e9c2701899ecba06d9526bf5513)](https://sonarqube.orange.ledgerlabs.net/dashboard?id=sentry-kernel&branch=main)
-[![Security Rating](https://sonarqube.orange.ledgerlabs.net/api/project_badges/measure?branch=main&project=sentry-kernel&metric=security_rating&token=cb81b19de8549e9c2701899ecba06d9526bf5513)](https://sonarqube.orange.ledgerlabs.net/dashboard?id=sentry-kernel&branch=main)
-[![Technical Debt](https://sonarqube.orange.ledgerlabs.net/api/project_badges/measure?branch=main&project=sentry-kernel&metric=sqale_index&token=cb81b19de8549e9c2701899ecba06d9526bf5513)](https://sonarqube.orange.ledgerlabs.net/dashboard?id=sentry-kernel&branch=main)
-[![Vulnerabilities](https://sonarqube.orange.ledgerlabs.net/api/project_badges/measure?branch=main&project=sentry-kernel&metric=vulnerabilities&token=cb81b19de8549e9c2701899ecba06d9526bf5513)](https://sonarqube.orange.ledgerlabs.net/dashboard?id=sentry-kernel&branch=main)
-
+TBD
 
 ## About