CI

Feat: add z3 maxsat support #31

Sign in to view logs

This workflow is awaiting approval from a maintainer in #12

Triggered via pull request December 19, 2024 12:48

synchronize #12

simpl-energy:feat/z3-maxsat-support

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #12

ci.yml

on: pull_request

Matrix: Check

Waiting for pending jobs

Matrix: Test

Waiting for pending jobs