Skip to content

add source spans to exhaustivity warnings #121

add source spans to exhaustivity warnings

add source spans to exhaustivity warnings #121

Triggered via pull request February 28, 2025 22:38
Status Success
Total duration 17s
Artifacts

book.yml

on: pull_request
update_needed
8s
update_needed
Fit to window
Zoom out
Zoom in