mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer-rs.git
synced 2025-01-09 16:55:27 +00:00
ci: Use a specific version of the gir checker
This commit is contained in:
parent
002958f0b4
commit
d914967ce4
1 changed files with 2 additions and 2 deletions
|
@ -300,8 +300,8 @@ gir-checks:
|
||||||
extends: .img-stable
|
extends: .img-stable
|
||||||
stage: 'extras'
|
stage: 'extras'
|
||||||
script:
|
script:
|
||||||
- git clone --depth 1 https://github.com/gtk-rs/checker
|
- git clone https://github.com/gtk-rs/checker
|
||||||
- cd checker && echo '[workspace]' >> Cargo.toml
|
- cd checker && git reset --hard df3ac62ae7f9876dc34a62b71f3a5427e4a4956d && echo '[workspace]' >> Cargo.toml
|
||||||
- cargo build --release
|
- cargo build --release
|
||||||
- |
|
- |
|
||||||
cargo run --release -- \
|
cargo run --release -- \
|
||||||
|
|
Loading…
Reference in a new issue