Merge branch 'jgromes:master' into FIFO-Refill

This commit is contained in:
Crsarmv7l 2025-02-12 12:20:29 +01:00 committed by GitHub
commit 3793e94d82
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -38,6 +38,7 @@ jobs:
path: extras/test/unit/lcov.report path: extras/test/unit/lcov.report
- name: Deploy to GitHub Pages - name: Deploy to GitHub Pages
if: github.ref == 'refs/heads/master'
uses: peaceiris/actions-gh-pages@v3 uses: peaceiris/actions-gh-pages@v3
with: with:
github_token: ${{ secrets.GITHUB_TOKEN }} github_token: ${{ secrets.GITHUB_TOKEN }}