Skip to content
Label PR based on Comment

RFC: replace current kernel with lean4lean kernel / reimplement kernel in lean #10025

Sign in to view logs

RFC: replace current kernel with lean4lean kernel / reimplement kernel in lean

RFC: replace current kernel with lean4lean kernel / reimplement kernel in lean #10025

Triggered via issue February 13, 2025 11:14
@nomeatanomeata
commented on #6997 a833afa
Status Skipped
Total duration 1s
Artifacts –

labels-from-comments.yml

on: issue_comment
update-label
0s
update-label
Fit to window
Zoom out
Zoom in