Skip to content
Back to pull request #8496

[Merged by Bors] - chore: address porting note in Archive/Imo/Imo1994Q1 -- linarith works now #30220

Sign in to view logs

[Merged by Bors] - chore: address porting note in Archive/Imo/Imo1994Q1 -- linarith works now

[Merged by Bors] - chore: address porting note in Archive/Imo/Imo1994Q1 -- linarith works now #30220

Triggered via pull request November 18, 2023 17:39
@dwrenshadwrensha
opened #8496
imo-1994q1-porting-note
Status Success
Total duration 29s
Artifacts –

detect_sha_changes.yml

on: pull_request
Add annotations
20s
Add annotations
Fit to window
Zoom out
Zoom in