Check Changelog

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

Sign in to view logs

Triggered via pull request January 12, 2024 13:31

panglesd

synchronize #1067

panglesd:separate-intf-impl

Status Success

Total duration 14s

Artifacts –

changelog.yml

on: pull_request

Check Changelog Action