Skip to content
This repository has been archived by the owner on Feb 1, 2024. It is now read-only.

Merge pull request #2463 from suchapalaver/fix/partial-ord-implementa… #22

Merge pull request #2463 from suchapalaver/fix/partial-ord-implementa…

Merge pull request #2463 from suchapalaver/fix/partial-ord-implementa… #22

Triggered via push November 20, 2023 16:26
Status Success
Total duration 14m 16s
Artifacts

build.yml

on: push
Fit to window
Zoom out
Zoom in