Skip to content

Merge feature branch feature/easier-pool-join #11909

Merge feature branch feature/easier-pool-join

Merge feature branch feature/easier-pool-join #11909

Triggered via pull request February 14, 2025 11:03
Status Success
Total duration 6m 48s
Artifacts

main.yml

on: pull_request
Run OCaml tests
6m 36s
Run OCaml tests
Fit to window
Zoom out
Zoom in