Skip to content
Build matrix

chore: use Lean's new code generator #67

Sign in to view logs

chore: use Lean's new code generator

chore: use Lean's new code generator #67

Triggered via push June 2, 2025 07:30
@tobiasgrossertobiasgrosser
pushed 76db68a
lean_new_codegen
Status Success
Total duration 10m 16s
Artifacts –

build.yml

on: push
build-docker
7m 7s
build-docker
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
build (5.2.1, macos-latest)
pkgconf 2.4.3 is already installed and up-to-date. To reinstall 2.4.3, run: brew reinstall pkgconf
build (5.2.1, macos-latest)
gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp