Juvix Compiler CI

Numeric, ordering and equality traits #5271

Sign in to view logs

Triggered via pull request October 9, 2023 10:04

lukaszcz

ready_for_review #2433

numeric-traits

Status Failure

Total duration 28m 3s

Artifacts –

ci.yml

on: pull_request

build-and-test-linux

build-and-test-macos

Annotations

2 errors

build-and-test-linux

Process completed with exit code 2.

build-and-test-macos

Process completed with exit code 2.