Skip to content

Add support for inductively defined functions #343

Add support for inductively defined functions

Add support for inductively defined functions #343

Triggered via pull request May 29, 2026 17:40
Status Success
Total duration 1h 13m 42s
Artifacts

testing-macos.yml

on: pull_request
arm-64 / coverage
1h 13m
arm-64 / coverage
Matrix: macos
Fit to window
Zoom out
Zoom in

Annotations

1 warning
arm-64 / coverage
llvm@21 was installed but not linked because llvm@20 is already installed. To link this version, run: brew link llvm@21