CI linux

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

Triggered via pull request November 25, 2024 08:35

mosteo

synchronize #1799

Status Success

Total duration 7m 39s

Artifacts 1

ci-linux.yml

on: pull_request

Produced during runtime

Name	Size
alr-bin-linux.zip	11.1 MB