Skip to content
continuous integration

Merge pull request #7 from opencompl/bump-lean-version #22

Sign in to view logs

Merge pull request #7 from opencompl/bump-lean-version

Merge pull request #7 from opencompl/bump-lean-version #22

Triggered via push February 15, 2024 20:41
@alexjbestalexjbest
pushed 1299ef3
master
Status Success
Total duration 56s
Artifacts –

ci.yml

on: push
test
47s
test
Fit to window
Zoom out
Zoom in