-
-
Notifications
You must be signed in to change notification settings - Fork 114
Issues: arduino/arduino-builder
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Use major version ref of Related to project infrastructure
type: enhancement
Proposed improvement
carlosperate/download-file-action
topic: infrastructure
#372
by per1234
was merged Dec 21, 2021
Loading…
Fix bugs in dry run determination code for "Sync Labels" workflow
topic: infrastructure
Related to project infrastructure
type: imperfection
Perceived defect in any part of project
#371
by per1234
was merged Oct 13, 2021
Loading…
Add CI workflow to synchronize with shared repository labels
type: enhancement
Proposed improvement
#370
by per1234
was merged Sep 24, 2021
Loading…
Add security policy link to readme
type: enhancement
Proposed improvement
#368
by per1234
was merged Mar 9, 2021
Loading…
change format LICENSE
conclusion: declined
Will not be worked on
topic: documentation
Related to documentation for the project
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#365
by dark0ghost
was closed Jun 19, 2021
Loading…
[DO NOT MERGE] Fix parallel compilation disregarding -jobs flag
#331
by facchinm
was closed Sep 10, 2019
Loading…
add #line directive to additional source files
conclusion: duplicate
Has already been submitted
topic: code
Related to content of the project itself
type: enhancement
Proposed improvement
#325
by slady
was closed Sep 30, 2021
Loading…
Use lexicographic distance as last chance to spot the right library
#310
by facchinm
was merged Mar 7, 2019
Loading…
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.