Skip to content
Check for copyright header

feat: enable the new compiler #14024

Sign in to view logs

feat: enable the new compiler

feat: enable the new compiler #14024

Triggered via pull request June 14, 2025 15:00
@zwarichzwarich
synchronize #8577
zwarich:new_codegen_mathlib
Status Success
Total duration 44s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
40s
check-lean-files
Fit to window
Zoom out
Zoom in