Skip to content
Labels

irrationals: restrict assume effects annotations to known types #30623

Sign in to view logs

irrationals: restrict assume effects annotations to known types

irrationals: restrict assume effects annotations to known types #30623

Triggered via pull request October 19, 2024 22:11
@giordanogiordano
unlabeled #55886
nsajko:known_irrational
Status Success
Total duration 21s
Artifacts –

LabelCheck.yml

on: pull_request
Check for blocking labels
15s
Check for blocking labels
Fit to window
Zoom out
Zoom in