Skip to content

Merge pull request #1164 from zama-ai/fix_optimizer_bug_2 #87

Merge pull request #1164 from zama-ai/fix_optimizer_bug_2

Merge pull request #1164 from zama-ai/fix_optimizer_bug_2 #87

Triggered via push November 29, 2024 14:53
Status Success
Total duration 28m 21s
Artifacts
format-and-lint
40s
format-and-lint
build-and-run-test
26m 14s
build-and-run-test
teardown-instance
23s
teardown-instance
Fit to window
Zoom out
Zoom in