aboutsummaryrefslogtreecommitdiffhomepage
path: root/.github/workflows
Commit message (Collapse)AuthorAgeFilesLines
* Remove unused files; consistent icon styling (#11)Kevin Hoerr2022-11-212-2/+2
| | | | | * Remove unused files; consistent icon styling * Update GitHub actions
* Fix push to trunk instead of main (#10)Kevin Hoerr2022-11-211-0/+1
|
* Fix build (#8)Kevin Hoerr2022-11-211-1/+1
|
* Fix build (#7)Kevin Hoerr2022-11-211-9/+6
| | | | | | | * Attempt to commit signed changes using wildcard * Temporarily enable PR builds * Use different autocommit tool
* Check no public changes in PRs (#6)Kevin Hoerr2022-11-211-2/+9
| | | | | | | | | | | | | | | * Check no public changes in PRs * Update PR workflow * Specify remote * Attempt HEAD diff * Check again * Remove trustedAuthors; use blank file to verify build failure * Remove public changes
* Use verifying commit workflow (#5)Kevin Hoerr2022-11-181-6/+7
|
* Create build.yml (#4)Kevin Hoerr2022-11-182-5/+34
| | | | | | | | | * Create build.yml * Fix lint command * npm install * npm ci
* Create pull_requests.ymlKevin Hoerr2022-11-181-0/+27