Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-28 08:38:20 +01:00
Code Issues Projects Releases Packages Wiki Activity

Fail CI if workflow needs regenerating.

Browse source
This commit is contained in:
Josh Matthews 2021-05-24 20:19:18 -04:00
parent 3237f3852c
commit 4138d04186
2 changed files with 19 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

15
etc/ci/workflow_changed.sh Executable file
View file

@ -0,0 +1,15 @@
#!/usr/bin/env bash
# This Source Code Form is subject to the terms of the Mozilla Public
# License, v. 2.0. If a copy of the MPL was not distributed with this
# file, You can obtain one at https://mozilla.org/MPL/2.0/.
set -o errexit
set -o nounset
set -o pipefail
python3 etc/ci/generate_workflow.py
diff="$(find . -name 'main.yml' -print0 | xargs -0 git diff)"
echo "${diff}"
[[ -z "${diff}" ]]