CI Docker

feat: search without solving and with --solve #1684

Sign in to view logs

Triggered via pull request November 23, 2024 09:44

mosteo

opened #1799

mosteo:feat/search-no-solve

Status Success

Total duration 9m 11s

Artifacts –

ci-docker.yml

on: pull_request

Matrix: build