Skip to content
Lints

Windows build including minisat and glucose #58

Sign in to view logs

Windows build including minisat and glucose

Windows build including minisat and glucose #58

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

pr-lints.yml

on: pull_request
Formatting
11s
Formatting
Lints
1m 4s
Lints
Fit to window
Zoom out
Zoom in