Skip to content

Relax restrictions for two taclets#3942

Merged
unp1 merged 1 commit into
mainfrom
taclet-rigid
Jul 25, 2026
Merged

Relax restrictions for two taclets#3942
unp1 merged 1 commit into
mainfrom
taclet-rigid

Relax restrictions for two taclets

129c27e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
integration-tests (testProveRules, ubuntu-latest, 21)
succeeded Jul 25, 2026 in 3m 8s