Skip to content
Juvix standard library CI

Improve function argument names #611

Sign in to view logs

Improve function argument names

Improve function argument names #611

Triggered via pull request October 25, 2024 10:27
@lukaszczlukaszcz
opened #131
improve-stdlib-arg-names
Status Cancelled
Total duration 11m 27s
Artifacts –

ci.yml

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

Annotations

1 error
build
Canceling since a higher priority waiting request for 'Juvix standard library CI-improve-stdlib-arg-names' exists