[ refactor ] Change definition of Data.Nat.Base._≤‴_
#3887
Triggered via pull request
December 12, 2024 10:46
jamesmckinna
Status
Cancelled
Total duration
1m 53s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
2 errors
|
test-stdlib
The run was canceled by @jamesmckinna.
|
|
test-stdlib
The operation was canceled.
|