Juvix Compiler CI

Translate function bodies to Isabelle #7794

Sign in to view logs

Triggered via pull request July 12, 2024 15:57

lukaszcz

synchronize #2868

isabelle-functions

Status Cancelled

Total duration 17s

Artifacts –

ci.yml

on: pull_request

build-and-test-linux

build-and-test-macos

Annotations

1 error

Juvix Compiler CI

Canceling since a higher priority waiting request for 'Juvix Compiler CI-isabelle-functions' exists