Skip to content
Node.js CI

deploy: Z3Prover/z3@22061a7452244d5134e07242c891ee10713f5d47 #56

Sign in to view logs

deploy: Z3Prover/z3@22061a7452244d5134e07242c891ee10713f5d47

deploy: Z3Prover/z3@22061a7452244d5134e07242c891ee10713f5d47 #56

Triggered via push January 9, 2026 04:51
@NikolajBjornerNikolajBjorner
pushed a5be0ce
master
Status Failure
Total duration 24s
Artifacts –

node.js.yml

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

Annotations

5 errors
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 (12.x)
The strategy configuration was canceled because "build._16_x" failed
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 (14.x)
The strategy configuration was canceled because "build._16_x" failed
build (14.x)
The operation was canceled.