+5 -1

.github/workflows/typst.yml

reviewed

··· 18 18 - name: Checkout repository 19 19 uses: actions/checkout@v3 20 20 21 21 - - name: Typst 21 21 + - name: Compile main 22 22 uses: lvignoli/typst-action@main 23 23 with: { source_file: main.typst } 24 24 + 25 25 + - name: Compile biblio 26 26 + uses: lvignoli/typst-action@main 27 27 + with: { source_file: biblio.typst } 24 28 25 29 - name: Commit and push changes 26 30 uses: EndBug/add-and-commit@v9

+13

bib.yaml

reviewed

··· 123 123 url: 124 124 value: https://github.com/muellerbernd/gazebo-sim-overlay 125 125 date: 2025-07-21 126 126 + 127 127 + msr2022-cps: 128 128 + type: article 129 129 + title: Problems and Solutions in Applying Continuous Integration and Delivery to 20 Open-Source Cyber-Physical Systems 130 130 + serial-number: 131 131 + doi: http://dx.doi.org/10.1145/3524842.3527948 132 132 + author: 133 133 + - Fiorella Zampetti 134 134 + - Vittoria Nardone 135 135 + - Massimiliano Di Penta 136 136 + url: 137 137 + value: https://mdipenta.github.io/files/msr2022-cps.pdf 138 138 + date: 2025-07-28

+5

biblio.typst

reviewed

··· 1 1 + = E'tude bibliographique 2 2 + 3 3 + == Introduction 4 4 + 5 5 + Mon stage porte sur l'intégration de Nix @nix et NixOS @nixos

+4

july.typst

reviewed

··· 21 21 22 22 - Évaluation de `gazebo-sim-overlay` @gazebo-sim-overlay comme solution pour un packaging Nix 23 23 - Recherche sur un mode headless de gazebo suite à des erreurs de QT sous devshell Nix 24 24 + 25 25 + === 28 Juillet - 1 août 26 26 + 27 27 + - Recherche autour de l'utilisation de Gazebo dans des environnements CI/CD @msr2022-cps, en particulier pour capturer une simulation en vidéo