Skip to content
Juvix Compiler CI

Implement wildcard constructor #5877

Sign in to view logs

Implement wildcard constructor

Implement wildcard constructor #5877

Triggered via pull request December 6, 2023 14:16
@janmasrovirajanmasrovira
synchronize #2550
implement-wildcard-constructor
Status Cancelled
Total duration 6s
Artifacts –

ci.yml

on: pull_request
build-and-test-linux
build-and-test-linux
build-and-test-macos
build-and-test-macos
ormolu
ormolu
pre-commit
pre-commit
Fit to window
Zoom out
Zoom in

Annotations

1 error
Juvix Compiler CI
Canceling since a higher priority waiting request for 'Juvix Compiler CI-implement-wildcard-constructor' exists