Test Alt-Ergo

Add alt-ergo do depopts, add CI, and update readme #1

Sign in to view logs

Triggered via pull request October 17, 2024 09:36

filipeom

opened #236

alt-ergo

Status Success

Total duration 9m 19s

Artifacts –

test-alt-ergo.yml

on: pull_request