Repository navigation

Set minimal permissions to Github Workflows - #3972

Merged

nlohmann merged 10 commits into

nlohmann:developfrom

joycebrum:develop

Mar 13, 2023

Merged

Set minimal permissions to Github Workflows#3972
nlohmann merged 10 commits into
nlohmann:developfrom
joycebrum:develop

Commits on Mar 7, 2023
- chore: create workflow to add comment
  joycebrum
  committed
  32466ba
- chore: use more recent github script
  joycebrum
  committed
  9380ab0
Commits on Mar 9, 2023
- Merge branch 'nlohmann:develop' into develop
  joycebrum
  authored
  f86b831
- chore: set ci fuzz permissions
  joycebrum
  authored
  9d3b6c0
- chore: set codeql permissions
  joycebrum
  authored
  9d090b5
- chore: set permission to labeler
  joycebrum
  authored
  d4ceded
- chore: set permissions to macos.yml
  joycebrum
  authored
  46acafe
- chore: update publish_documentation yml
  joycebrum
  authored
  473450a
- chore: update ubuntu.yml permissions
  joycebrum
  authored
  e897965
- chore: update windows.yml permissions
  joycebrum
  authored
  bb3c7cb