Skip to content

Merge main - #410

Merged
leandrumartin merged 306 commits into
developfrom
407-merge-main-into-develop
Oct 21, 2025
Merged

Merge main#410
leandrumartin merged 306 commits into
developfrom
407-merge-main-into-develop

Conversation

@leandrumartin

@leandrumartin leandrumartin commented Oct 20, 2025

Copy link
Copy Markdown
Collaborator

Pull Request Summary

Merged main into the branch and fixed merge conflicts. In virtually all conflicts, the changes from main were accepted, as they were more recent and improved (upped version numbers, better error checking).

PR Checklist

yrlmanoharreddy and others added 30 commits October 9, 2024 19:53
…s, added troubleshooting info and a couple build instructions
Added github workflows into the build_library
…dule-for-pi4micronaut' into 263-document-dc-motor-control-module-for-pi4micronaut
…dule-for-pi4micronaut

DC Motor documentation
…ntative implementation of single-digit seven-segment display helper.
…naut-44

# Conflicts:
#	components/src/main/resources/application.yml
leandrumartin and others added 22 commits October 15, 2025 22:15
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Signed-off-by: Leandru Martin <122942864+leandrumartin@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Signed-off-by: Leandru Martin <122942864+leandrumartin@users.noreply.github.com>
Fix(tests): Rename MicroSwitchHelperTests file to .java
Add ShiftRegister74HC595Helper for SPI-based shift register control
Add root-level build.gradle to resolve shared plugins across projects
Docs: Organize component list in index.adoc
Comment on lines +12 to +30
runs-on: ubuntu-latest
name: Paper Draft
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Build draft PDF
uses: openjournals/openjournals-draft-action@master
with:
journal: joss
# This should be the path to the paper within your repo.
paper-path: joss-paper/paper.md
- name: Upload
uses: actions/upload-artifact@v4
with:
name: paper
# This is the output path where Pandoc will write the compiled
# PDF. Note, this should be the same directory as the input
# paper.md
path: joss-paper/paper.pdf

Check warning

Code scanning / CodeQL

Workflow does not contain permissions Medium

Actions job or workflow does not limit the permissions of the GITHUB_TOKEN. Consider setting an explicit permissions block, using the following as a minimal starting point: {contents: read}

Copilot Autofix

AI 10 months ago

To fix the problem, we should explicitly define a permissions block in the workflow YAML. This can be done either at the top level (applies globally) or at the job level for finer control. Since the workflow shown consists of one job ("paper") and does not perform any repository write actions (e.g., no pushes, PRs, or issue creation), the minimal permissions required are most likely contents: read. To implement the fix, add a permissions: section with contents: read at the root level, just after on: and before jobs:. No modifications to individual steps are needed. This improves security by making least-privilege explicit.

Suggested changeset 1
.github/workflows/draft-pdf.yml

Autofix patch

Autofix patch
Run the following command in your local git repository to apply this patch
cat << 'EOF' | git apply
diff --git a/.github/workflows/draft-pdf.yml b/.github/workflows/draft-pdf.yml
--- a/.github/workflows/draft-pdf.yml
+++ b/.github/workflows/draft-pdf.yml
@@ -7,6 +7,8 @@
       - joss-paper/**
       - .github/workflows/draft-pdf.yml
 
+permissions:
+  contents: read
 jobs:
   paper:
     runs-on: ubuntu-latest
EOF
@@ -7,6 +7,8 @@
- joss-paper/**
- .github/workflows/draft-pdf.yml

permissions:
contents: read
jobs:
paper:
runs-on: ubuntu-latest
Copilot is powered by AI and may make mistakes. Always verify output.
@leandrumartin leandrumartin changed the title Update documentation (#241) Merge main Oct 20, 2025
@leandrumartin
leandrumartin merged commit 9771753 into develop Oct 21, 2025
7 checks passed
@leandrumartin
leandrumartin deleted the 407-merge-main-into-develop branch October 21, 2025 03:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.