Closed jjant closed 1 year ago
CI was not running for community-submitted PRs (See https://github.com/jjant/runty8/pull/40, https://github.com/jjant/runty8/pull/42). This should fix it.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Description
CI was not running for community-submitted PRs (See https://github.com/jjant/runty8/pull/40, https://github.com/jjant/runty8/pull/42). This should fix it.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.