Skip to content
Back to pull request #8496

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

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 #7765

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

lint_and_suggest_pr.yml

on: pull_request
Lint style
38s
Lint style
Check all files imported
12s
Check all files imported
Fit to window
Zoom out
Zoom in