Also run linting on pull requests

main
Duncan Ogilvie 7 months ago
parent 6c46664336
commit f415b432ed

@ -1,6 +1,6 @@
name: lint
on: [push]
on: [push, pull_request]
jobs:
clang-format:

Loading…
Cancel
Save