Build Test

optimizing formulae costruction in ColoringSmt #330

Sign in to view logs

Triggered via pull request February 4, 2025 15:06

randriu

opened #57

init-optimized

Status Skipped

Total duration 3s

Artifacts –

buildtest.yml

on: pull_request

Matrix: deploy-mdp

Matrix: deploy