Merge pull request #2408 from bgilbert/workflow
authorColin Walters <walters@verbum.org>
Thu, 29 Jul 2021 00:27:35 +0000 (20:27 -0400)
committerGitHub <noreply@github.com>
Thu, 29 Jul 2021 00:27:35 +0000 (20:27 -0400)
commita3ce5df22e2835050145841441c81a423fc8d0e4
tree2592848e0aeeb2c5be96d3e07164a6493632a0e7
parent5023278293d20fe70f61d89f01d6356fa5ef2ffc
parentd9483f89ad2035b4cf4038b4ffe7dc297c2b7f0d
Merge pull request #2408 from bgilbert/workflow

workflows: bump lint toolchain; restrict repository access