Continuous integration

feat: Improve TASO cost function and rewrite strategies #467

Sign in to view logs

Triggered via pull request October 3, 2023 13:30

lmondada

synchronize #154

feat/more-strategies

Status Success

Total duration 3m 12s

Artifacts –

ci.yml

on: pull_request

Matrix: tests