Skip to content
format-check

[docs] add MINOTAUR to solver list (#3546) #3642

Sign in to view logs

[docs] add MINOTAUR to solver list (#3546)

[docs] add MINOTAUR to solver list (#3546) #3642

Triggered via push October 20, 2023 21:27
@odowodow
pushed 2759c95
master
Status Success
Total duration 2m 0s
Artifacts –

format_check.yml

on: push
build
1m 52s
build
Fit to window
Zoom out
Zoom in