Skip to content
Actionlint

refactor: replace PRange shape α with Rcc α and eight other types #6909

Sign in to view logs

refactor: replace PRange shape α with Rcc α and eight other types

refactor: replace PRange shape α with Rcc α and eight other types #6909

Triggered via pull request September 23, 2025 08:12
@datokratdatokrat
synchronize #10319
paul/ranges/nondep
Status Success
Total duration 38s
Artifacts –

actionlint.yml

on: pull_request
actionlint
35s
actionlint
Fit to window
Zoom out
Zoom in