Skip to content
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

Jump to bottom

gh: finishing publication fixes #3

Merged
merged 5 commits into from
Jul 31, 2024
Merged

gh: finishing publication fixes #3

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
faec4ee
gh: removing private README badges
pthierry-ledger Jul 31, 2024
404fa50
ci: fixing actions path
pthierry-ledger Jul 31, 2024
8efaca3
ci: add git safe directory for dunamai
pthierry-ledger Jul 31, 2024
11aa87d
ci: proof: adding opam bin path to GITHUB_PATH
pthierry-ledger Jul 31, 2024
c70288d
ci: using ubuntu release frama-C package
pthierry-ledger Jul 31, 2024
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
19 changes: 17 additions & 2 deletions .github/workflows/build.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -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
Expand Down Expand Up @@ -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
Expand Down Expand Up @@ -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'
Expand Down
18 changes: 8 additions & 10 deletions .github/workflows/proof.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,9 +1,7 @@
name: Sentry kernel proof

on:
pull_request:
branches:
- main
workflow_dispatch:

concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
Expand All @@ -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:
Expand Down Expand Up @@ -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:
Expand All @@ -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()
Expand Down
10 changes: 1 addition & 9 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
Loading