Add `(Is)DecPreorder` to `Relation.Binary.*` #3773

Sign in to view logs

Summary
Jobs
- test-stdlib
Run details
- Usage
- Workflow file

Triggered via pull request October 4, 2024 09:06

synchronize #2488

jamesmckinna:DecPreorder

Status Success

Total duration 36m 14s

Artifacts –

ci-ubuntu.yml

on: pull_request