Skip to content
merge-pr-to-main-reminder

[Design Notes] Refinement Types #5

Sign in to view logs

[Design Notes] Refinement Types

[Design Notes] Refinement Types #5

Re-run triggered September 11, 2025 11:48
@ice-phoenixice-phoenix
#454
InversionSpaces:mvorobev/refinement-types
Status Success
Total duration 14s
Artifacts –

merge-pr-to-main-reminder.yml

on: pull_request
merge-pr-to-main-reminder
5s
merge-pr-to-main-reminder
Fit to window
Zoom out
Zoom in