Skip to content

Merge pull request #1169 from zama-ai/fix-optimizer-lint #139

Merge pull request #1169 from zama-ai/fix-optimizer-lint

Merge pull request #1169 from zama-ai/fix-optimizer-lint #139

Triggered via push November 29, 2024 14:55
Status Success
Total duration 22s
Artifacts
action-pin
3s
action-pin
action-lint
13s
action-lint
Fit to window
Zoom out
Zoom in