Skip to content
CI

Remove redundant sort #293

Sign in to view logs

Remove redundant sort

Remove redundant sort #293

Re-run triggered November 4, 2023 05:56
@wrsturgeonwrsturgeon
#42
no-sort-fixpoint-rhs
Status Success
Total duration 8m 36s
Artifacts –

ci.yml

on: pull_request
build
8m 25s
build
Fit to window
Zoom out
Zoom in