another try

This commit is contained in:
Hannes Mehnert 2025-03-17 12:35:47 +01:00
parent 4de45e2f67
commit edba36b97b

View File

@ -38,6 +38,5 @@ jobs:
run: |
git config --global user.name "Automated ocamlformat GitHub action, developed by robur.coop"
git config --global user.email "autoformat@robur.coop"
git add -A
git commit -m "formatted code"
git commit -m "formatted code" .
git push