Skip to content
Lean Action CI

Code for FormaliSE '26 paper "Simple Lambda Lifting" #1

Sign in to view logs

Code for FormaliSE '26 paper "Simple Lambda Lifting"

Code for FormaliSE '26 paper "Simple Lambda Lifting" #1

Triggered via push July 25, 2026 03:21
@tom93tom93
pushed 69b1428
master
Status Success
Total duration 1m 4s
Artifacts –

lean_action_ci.yml

on: push
build
59s
build
Fit to window
Zoom out
Zoom in