Skip to content
CI

Change suffix optimization to use theory-based restrictions #488

Sign in to view logs

Change suffix optimization to use theory-based restrictions

Change suffix optimization to use theory-based restrictions #488

Triggered via pull request June 27, 2024 12:06
@pfg666pfg666
synchronize #81
restricted-suffixes
Status Success
Total duration 2m 35s
Artifacts –

ci.yml

on: pull_request
Build
2m 26s
Build
Fit to window
Zoom out
Zoom in