Commit 161b9153 authored by Slava Ostroukh's avatar Slava Ostroukh

remove mirror stage of CI

Mirroring is done with Gitlab's built-in tools now.

Closes #27
parent 20e46b11
Pipeline #40725 passed with stages
in 73 minutes and 50 seconds