aboutsummaryrefslogtreecommitdiff
path: root/devel_tools/ci_container
diff options
context:
space:
mode:
authorJan Sucan <jan@jansucan.com>2024-01-09 17:32:40 +0100
committerJán Sučan <jan@jansucan.com>2024-01-09 17:38:11 +0100
commit1dd0f4e6bbde396c66f6eb86b5b4a30952c02026 (patch)
tree62dbb1b820cbe0b800ca7653295cc4ea3d2f235d /devel_tools/ci_container
parent82adeccf84f132e0f259dc603db3ecf26a35b36a (diff)
github: Improve formatting of a workflow file
Diffstat (limited to 'devel_tools/ci_container')
0 files changed, 0 insertions, 0 deletions