Skip to content

Merge branch 'main' into fixValuesKeyword

44b52f4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Fix handling of \values keyword #3718

Merge branch 'main' into fixValuesKeyword
44b52f4
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
succeeded Mar 25, 2026 in 1h 7m 17s