Use GitHub Actions for continuous integration#9

Merged

aentinger merged 7 commits intomasterfrom

Jan 11, 2022

Commits on Jan 11, 2022

Configure Dependabot to check for outdated actions used in workflows

per1234
authored and
aentinger
committed
Add GitHub Actions workflow to synchronize with shared repository labels

per1234
authored and
aentinger
committed
Add CI workflow to check for commonly misspelled words

per1234
authored and
aentinger
committed
Correct typos in comments and documentation

per1234
authored and
aentinger
committed
Add CI workflow to do Arduino project-specific linting

per1234
authored and
aentinger
committed
Add "smoke test" examples compilation CI workflow

per1234
authored and
aentinger
committed
Report changes in memory usage that would result from merging a PR

per1234
authored and
aentinger
committed