Skip to content
Juvix standard library CI

Deriving Eq #657

Sign in to view logs

Deriving Eq

Deriving Eq #657

Triggered via pull request November 28, 2024 11:13
@janmasrovirajanmasrovira
synchronize #148
deriving-eq
Status Cancelled
Total duration 35s
Artifacts –

ci.yml

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

Annotations

1 error
build
Canceling since a higher priority waiting request for 'Juvix standard library CI-deriving-eq' exists