Skip to content
CI

Remove redundant sort #292

Sign in to view logs

Remove redundant sort

Remove redundant sort #292

Triggered via pull request November 4, 2023 05:37
@wrsturgeonwrsturgeon
opened #42
no-sort-fixpoint-rhs
Status Failure
Total duration 2m 40s
Artifacts –

ci.yml

on: pull_request
build
2m 30s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 101.