gh-145000: Run check-html-ids.py in CI
#187506
StanFromIrelandbuild.yml
on: pull_request
Change detection
/
Create context from changed files
10s
Matrix: Address sanitizer
Matrix: build-macos
Waiting for pending jobs
Matrix: build-san
Waiting for pending jobs
Matrix: Ubuntu SSL tests
Matrix: build-ubuntu
Waiting for pending jobs
Matrix: build-windows-msi
Waiting for pending jobs
Matrix: build-windows
Waiting for pending jobs
Matrix: cifuzz
Waiting for pending jobs
Check if Autoconf files are up to date
Check if generated files are up to date
0s
iOS
Hypothesis tests on Ubuntu
Cross build Linux
C API Docs
/
Check if all C APIs are documented
Docs
/
Check EPUB
Docs
/
Doctest
Emscripten
/
build and test
WASI
/
build and test
Matrix: build-android
Docs
/
...
/
Check for removed HTML IDs
All required checks pass
5s
Annotations
5 errors
|
Change detection / Create context from changed files
Canceling since a higher priority waiting request for Tests-StanFromIreland-check-html-ids.py-ci exists
|
|
Change detection / Create context from changed files
The operation was canceled.
|
|
All required checks pass
The template is not valid. .github/workflows/build.yml (Line: 687, Col: 24): Error reading JToken from JsonReader. Path '', line 0, position 0.
|
|
Tests
Canceling since a higher priority waiting request for Tests-StanFromIreland-check-html-ids.py-ci exists
|
|
Tests
Canceling since a higher priority waiting request for Tests-StanFromIreland-check-html-ids.py-ci exists
|