Skip to content
Check Changelog

Separate implementation and interface in different (odoc) compilation units #228

Sign in to view logs

Separate implementation and interface in different (odoc) compilation units

Separate implementation and interface in different (odoc) compilation units #228

Triggered via pull request January 12, 2024 17:45
@panglesdpanglesd
synchronize #1067
panglesd:separate-intf-impl
Status Success
Total duration 12s
Artifacts –

changelog.yml

on: pull_request
Check Changelog Action
4s
Check Changelog Action
Fit to window
Zoom out
Zoom in