Add files via upload #433

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

Merged

danielgatti merged 1 commit into main from danielgatti-patch-1

Jun 6, 2025

Member

danielgatti commented Jun 6, 2025

Changes

Context

Documentation (please check one with an [x])

I have updated the documentation, or
No documentation update is required

How I've tested my work (please select one)

I have verified these changes via:

Code inspection only, or
Newly added/modified unit tests, or
No unit tests but ran on a real repository, or
Both unit tests + ran on a real repository


          Add files via upload

c3e6be6

Signed-off-by: Daniel Gatti <daniel@pucsp.br>

danielgatti self-assigned this

danielgatti merged commit 563d911 into main

4 checks passed

danielgatti deleted the danielgatti-patch-1 branch

June 6, 2025 14:19

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet