Skip to content
Development

fix: resolve ESBMC binary path from $PATH and print config file on lo… #688

Sign in to view logs

fix: resolve ESBMC binary path from $PATH and print config file on lo…

fix: resolve ESBMC binary path from $PATH and print config file on lo… #688

Triggered via push February 16, 2026 22:48
@Yiannis128Yiannis128
pushed 12ee6cd
master
Status Success
Total duration 8m 47s
Artifacts 2

workflow.yml

on: push
Get Requirements
23s
Get Requirements
PyLint
5m 19s
PyLint
PyTest
1m 4s
PyTest
Build
28s
Build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
build Expired
126 KB
sha256:5c5c92265fc39b32731baeeef36f7c1ea7aad54f2bc522784d2fc812dbab5de5
requirements Expired
267 Bytes
sha256:828424c412fcd29c0ef704c30c080b2111a22fd6d259bbc03a51f42f8c787db5