Ensure formatting

Move to annotated core lib #3523

Sign in to view logs

Triggered via pull request November 26, 2024 17:16

cmester0

synchronize #1064

coq-generic-printer-annotated-core-lib

Status Success

Total duration 1m 6s

Artifacts –

format.yml

on: pull_request