LogRel CI

Strengthen the weakening equational theory. #631

Sign in to view logs

Re-run triggered October 31, 2025 13:05

ppedrot

#77

ppedrot:weakening-irrelevant-wf

Status Success

Total duration 7m 38s

Artifacts –

build.yml

on: pull_request

Annotations

1 warning

Setting extraction output directory by default to