Skip to content
Unverified Commit 9c303343 authored by Radu Popa's avatar Radu Popa Committed by GitHub
Browse files

Branch name is main not master (#5) 

* update ci file

* forgot to rm a rule

* braanch name is "main" not "master"
parent 47ba7e5d
Pipeline #129116 passed with stages
in 3 minutes and 52 seconds