Skip to content

feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account #794

feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account

feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account #794

Triggered via pull request January 23, 2025 12:20
Status Cancelled
Total duration 22s
Artifacts

ci.yml

on: pull_request
configure
8s
configure
Matrix: build
Build matrix complete
0s
Build matrix complete
release
0s
release
release-nightly
0s
release-nightly
Fit to window
Zoom out
Zoom in

Annotations

1 warning
configure
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636