Merge pull request 'ci: mirroring job fix' from ci into master

Reviewed-on: https://hattori.ztsh.eu/stawros/hackerrank/pulls/3
This commit is contained in:
Piotr Dec 2024-03-15 22:51:03 +01:00
commit f819b19c93

View file

@ -11,3 +11,8 @@ steps:
when: when:
branch: master branch: master
event:
- push
depends_on:
- maven