Skip to content

Merge 5.2.0minus-22 #842

Merge 5.2.0minus-22

Merge 5.2.0minus-22 #842

Triggered via pull request October 14, 2025 05:18
Status Success
Total duration 5m 10s
Artifacts

flambda-backend.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in