Skip to content
Lean Action CI

Create Logic.lean for eventually semantics #5

Sign in to view logs

Create Logic.lean for eventually semantics

Create Logic.lean for eventually semantics #5

Triggered via push September 30, 2024 11:30
@quinn-doughertyquinn-dougherty
pushed ca67b8a
master
Status Success
Total duration 1m 50s
Artifacts –

lean_action_ci.yml

on: push
build
1m 40s
build
Fit to window
Zoom out
Zoom in