Skip to content
CI Main

Fix unannotated record field access in Option.map lambdas #23

Sign in to view logs

Fix unannotated record field access in Option.map lambdas

Fix unannotated record field access in Option.map lambdas #23

Triggered via push February 8, 2026 19:25
@pchalametpchalamet
pushed 8e97972
main
Status Success
Total duration 39s
Artifacts 1

ci-main.yml

on: push
build-and-test
36s
build-and-test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
test-results-main Expired
44.6 KB
sha256:215761358a313571378089b9c30ca45fd0aca926c3cd28b77ba3c8dae5ceaf18