Skip to content
CI

Unsat core #174

Sign in to view logs

Unsat core

Unsat core #174

Triggered via pull request May 8, 2024 11:09
@yoni206yoni206
synchronize #91
LaorS:unsat_core
Status Cancelled
Total duration 49s
Artifacts –

ci.yml

on: pull_request
build
36s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
build
Canceling since a higher priority waiting request for 'build-refs/pull/91/merge' exists
build
Unexpected input(s) 'with-python-bindings', valid inputs are ['with-documentation', 'windows-build', 'shell']