Skip to content
Node.js CI

deploy: Z3Prover/z3@cfd40d258857d243110434c82df8a777360cb5b4 #59

Sign in to view logs

deploy: Z3Prover/z3@cfd40d258857d243110434c82df8a777360cb5b4

deploy: Z3Prover/z3@cfd40d258857d243110434c82df8a777360cb5b4 #59

Triggered via push January 12, 2026 05:54
@NikolajBjornerNikolajBjorner
pushed 9caa65e
master
Status Failure
Total duration 22s
Artifacts –

node.js.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

5 errors
build (12.x)
Dependencies lock file is not found in /home/runner/work/z3prover.github.io/z3prover.github.io. Supported file patterns: package-lock.json,npm-shrinkwrap.json,yarn.lock
build (16.x)
The strategy configuration was canceled because "build._12_x" failed
build (16.x)
Dependencies lock file is not found in /home/runner/work/z3prover.github.io/z3prover.github.io. Supported file patterns: package-lock.json,npm-shrinkwrap.json,yarn.lock
build (14.x)
The strategy configuration was canceled because "build._12_x" failed
build (14.x)
The operation was canceled.