Skip to content
Test Executable

fix name clash with Std.Lean.CoreM #55

Sign in to view logs

fix name clash with Std.Lean.CoreM

fix name clash with Std.Lean.CoreM #55

Triggered via push November 4, 2023 05:12
@PratherConidPratherConid
pushed a0a6e84
main
Status Success
Total duration 2h 25m 33s
Artifacts –

test_exe.yml

on: push
TestExe
2h 25m
TestExe
Fit to window
Zoom out
Zoom in