Skip to content
Back to pull request #13148

[Merged by Bors] - chore: Move order theory and algebra out of Data.Fin.Tuple.Basic #7075

Sign in to view logs

[Merged by Bors] - chore: Move order theory and algebra out of Data.Fin.Tuple.Basic

[Merged by Bors] - chore: Move order theory and algebra out of Data.Fin.Tuple.Basic #7075

Triggered via pull request July 16, 2024 19:32
@YaelDilliesYaelDillies
synchronize #13148
lighten_fin_tuple_basic
Status Success
Total duration 44s
Artifacts –

PR_summary.yml

on: pull_request
build
35s
build
Fit to window
Zoom out
Zoom in