Skip to content

Rename src/semaphore/stm_tests.ml accordingly #221

Rename src/semaphore/stm_tests.ml accordingly

Rename src/semaphore/stm_tests.ml accordingly #221

Triggered via push December 7, 2023 16:25
Status Success
Total duration 5m 36s
Artifacts

opam.yml

on: push
Matrix: build-and-test
Fit to window
Zoom out
Zoom in