classabbyamp 0990b2ec81 CI: minor improvements to build/test workflow ...

- add a concurrency group so things aren't run on push *and*
  pull_request update
- add a name to steps missing one

2022-12-09 20:32:54 +01:00

..

codeql

CI: migrate from LGTM to Github CodeQL

2022-12-09 20:32:54 +01:00

workflows

CI: minor improvements to build/test workflow

2022-12-09 20:32:54 +01:00