mirror of
https://github.com/nlohmann/json.git
synced 2026-11-04 19:59:23 +00:00
Clean up CI (#4553)
* 💚 overwork cppcheck * 🔒 adjust permissions * 💚 fixes * 💚 fixes
This commit is contained in:
1 parent
5362012fdd
commit
30cd44df95
10 files changed
+76
-76
No files matched your search
@@ -9,6 +9,9 @@ on:
|
||||
pull_request:
|
||||
workflow_dispatch:
|
||||
|
||||
permissions:
|
||||
contents: read
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}-${{ github.ref || github.run_id }}
|
||||
cancel-in-progress: true
|
||||
|
||||
Reference in new issue
Block a user