Skip to content
GitLab
Explore
Sign in
Draft PR to test fixing the CI crash
Code
Examiner les modifications
Extraire la branche
Télécharger
Correctifs
Diff brut
Vicentini Filippo
requested to merge
fix-ci
into
master
Apr 20, 2022
Overview
7
Commits
1
Pipelines
0
Changes
1
Expand
Created by: femtobit
Maybe we can try this again and see what happens (cf. #1168).
Merge request reports