Skip to content
CI

chore: Use Option.get instead of Options.get #30

Sign in to view logs

chore: Use Option.get instead of Options.get

chore: Use Option.get instead of Options.get #30

Triggered via pull request January 13, 2025 13:45
@eric-wiesereric-wieser
opened #154
Option.get
Status Success
Total duration 33s
Artifacts –

ci.yml

on: pull_request
build
25s
build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636