Skip to content
Lints

Windows build including minisat and glucose #69

Sign in to view logs

Windows build including minisat and glucose

Windows build including minisat and glucose #69

Triggered via pull request January 10, 2024 09:38
@chrjabschrjabs
synchronize #51
develop
Status Success
Total duration 1m 13s
Artifacts –

pr-lints.yml

on: pull_request
Formatting
14s
Formatting
Lints
1m 0s
Lints
Fit to window
Zoom out
Zoom in