Skip to content
Lean Action CI

changing the semantics #18

Sign in to view logs

changing the semantics

changing the semantics #18

Triggered via push June 17, 2026 11:42
@pvdhovepvdhove
pushed 65d34b0
ltlf-nonempty-semantics
Status Success
Total duration 21s
Artifacts –

lean_action_ci.yml

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