CI

avoid Option.get #948

Sign in to view logs

Triggered via pull request January 10, 2026 07:02

xuwei-k

opened #538

Option-get

Status Success

Total duration 4m 46s

Artifacts –

ci.yml

on: pull_request

Matrix: test