You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: .github/workflows/ci.yaml
+17Lines changed: 17 additions & 0 deletions
Original file line number
Diff line number
Diff line change
@@ -53,6 +53,23 @@ jobs:
53
53
mkdocs build --strict
54
54
(! git status --porcelain --untracked-files=no | grep '^.M') || (echo 'Docs are not up to date. Please run `make docs` locally then commit and upload the results.' && exit 1)
(! git status --porcelain --untracked-files=no | grep '^.M') || (echo 'Source ID landing pages are not up to date. Please run `make update-source-id-pages` locally then commit and upload the results.' && exit 1)
72
+
56
73
cvs-load-with-input4mips-validation:
57
74
runs-on: ubuntu-latest
58
75
# Ok if this fails, we just want to use it as a warning for us to update input4MIPs-validation
0 commit comments