Juvix Compiler CI

Support ByteArray and List arguments to anoma prove CLI #9695

Sign in to view logs

Triggered via pull request February 3, 2025 17:51

paulcadman

opened #3313

prove-support-bytearray-and-list

Status Cancelled

Total duration 2m 44s

Artifacts –

ci.yml

on: pull_request

build-and-test-linux

build-and-test-macos

Annotations

2 errors

build-and-test-linux

Canceling since a higher priority waiting request for 'Juvix Compiler CI-prove-support-bytearray-and-list' exists

build-and-test-linux

The operation was canceled.