Skip to content
check-uniq-keep-ids

Data flow-based exhaustiveness checking #49

Sign in to view logs

Data flow-based exhaustiveness checking

Data flow-based exhaustiveness checking #49

Triggered via push August 27, 2025 11:08
@serrasserras
pushed aa82fe9
main
Status Success
Total duration 52s
Artifacts –

check-uniq-keep-ids.yml

on: push
check-uniq-keep-ids
48s
check-uniq-keep-ids
Fit to window
Zoom out
Zoom in