Juvix Compiler CI

Remove axioms info from Core InfoTable (#3307) #9681

Sign in to view logs

Triggered via push January 31, 2025 15:51

lukaszcz

main

Status Success

Total duration 1h 0m 39s

Artifacts 1

ci.yml

on: push

build-and-test-linux

build-and-test-macos

Annotations

1 warning

build-and-test-linux

unnecessary parentheses around `break` value

Artifacts

Produced during runtime

Name	Size
juvix-d2d6847	19.5 MB