]> begriffs open source - freertos/commit
CI-CD URL Check Change (#880)
authorSoren Ptak <ptaksoren@gmail.com>
Thu, 9 Nov 2023 23:00:06 +0000 (15:00 -0800)
committerGitHub <noreply@github.com>
Thu, 9 Nov 2023 23:00:06 +0000 (15:00 -0800)
commitad13a1f8dfeb444dd8a8af52c00814954900dfca
tree4e01afaba8d847ebef9ece313bea9518c7e0bf52
parent9c649ea7d1dd0206092697d73c894fd2c4fe29b3
CI-CD URL Check Change (#880)

* Remove the Kernel's custom URL check to just use the CI-CD Actions one
* Exclude portable directory from formatting check.
.github/actions/url_verifier.sh [deleted file]
.github/workflows/ci.yml
.github/workflows/formatting.yml