Skip to content
Typos

irrationals: restrict assume effects annotations to known types #9587

Sign in to view logs

irrationals: restrict assume effects annotations to known types

irrationals: restrict assume effects annotations to known types #9587

Triggered via pull request October 9, 2024 22:20
@nsajkonsajko
synchronize #55886
nsajko:known_irrational
Status Success
Total duration 16s
Artifacts –

Typos.yml

on: pull_request
Check for new typos
7s
Check for new typos
Fit to window
Zoom out
Zoom in