Skip to content
try

Put Option into the prelude #1923

Sign in to view logs

Put Option into the prelude

Put Option into the prelude #1923

Triggered via pull request December 20, 2023 22:00
@danakjdanakj
synchronize #444
danakj:option-prelude
Status Success
Total duration 18m 0s
Artifacts –

try.yml

on: pull_request
Generate Subdoc
9m 55s
Generate Subdoc
Benchmarks
1m 4s
Benchmarks
Matrix: build
Fit to window
Zoom out
Zoom in