Skip to content
Build and run tests with Verific (Linux)

minisat: Check for gcc #681

Sign in to view logs

minisat: Check for gcc

minisat: Check for gcc #681

Triggered via push August 15, 2024 16:30
@KrystalDelusionKrystalDelusion
pushed 55307a5
krys/compiler-warnings
Status Success
Total duration 11m 37s
Artifacts –

test-verific.yml

on: push
pre_job
7s
pre_job
test-verific
11m 12s
test-verific
Fit to window
Zoom out
Zoom in