Skip to content

Merge pull request #42 from agentsea/chore/unify-to-rustc-1.88 #134

Merge pull request #42 from agentsea/chore/unify-to-rustc-1.88

Merge pull request #42 from agentsea/chore/unify-to-rustc-1.88 #134

Triggered via push July 3, 2025 10:00
Status Success
Total duration 9s
Artifacts
release
4s
release
Fit to window
Zoom out
Zoom in