Skip to content
check-uniq-keep-ids

[Refinement Types] Add a link to the discussion #70

Sign in to view logs

[Refinement Types] Add a link to the discussion

[Refinement Types] Add a link to the discussion #70

Triggered via pull request September 15, 2025 13:09
@InversionSpacesInversionSpaces
opened #456
InversionSpaces:mvorobev/refinement-types
Status Success
Total duration 31s
Artifacts –

check-uniq-keep-ids.yml

on: pull_request
check-uniq-keep-ids
29s
check-uniq-keep-ids
Fit to window
Zoom out
Zoom in