Skip to content
Lints

MaxSAT algorithm: SIS #628

Sign in to view logs

MaxSAT algorithm: SIS

MaxSAT algorithm: SIS #628

Triggered via pull request March 10, 2025 12:19
@chrjabschrjabs
synchronize #296
sis
Status Success
Total duration 1m 56s
Artifacts –

pr-lints.yml

on: pull_request
Formatting
16s
Formatting
Lints
1m 36s
Lints
Fit to window
Zoom out
Zoom in