Skip to content
Rust

Windows build including minisat and glucose #56

Sign in to view logs

Windows build including minisat and glucose

Windows build including minisat and glucose #56

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

pr-lints.yml

on: pull_request
Formatting
18s
Formatting
Lints
1m 17s
Lints
Fit to window
Zoom out
Zoom in