Skip to content
options

Merge branch 'master' into congruence-hardness-unsound-branches #9996

Sign in to view logs

Merge branch 'master' into congruence-hardness-unsound-branches

Merge branch 'master' into congruence-hardness-unsound-branches #9996

Triggered via push February 12, 2025 17:55
@jerhardjerhard
pushed 2fc8d3f
congruence-hardness-unsound-branches
Status Success
Total duration 18s
Artifacts –

options.yml

on: push
Matrix: validate-conf
Fit to window
Zoom out
Zoom in