Update CI config

This commit is contained in:
Shiny Nematoda
2023-04-02 15:45:09 +00:00
parent 121915273c
commit 0f57bcc36d
+1 -1
View File
@@ -7,6 +7,6 @@ pipeline:
- git add .
- git config user.name "Hyperpipe Bot"; git config user.email "hyperpipe@noreply.codeberg.org"
- git commit -m "Updated CSV and INSTANCE.md [CI SKIP]"
- git push
- git push origin main
when:
event: ['push']