Skip to content
Check licenses

Move to annotated core lib #329

Sign in to view logs

Move to annotated core lib

Move to annotated core lib #329

Triggered via pull request November 26, 2024 17:16
@cmester0cmester0
synchronize #1064
coq-generic-printer-annotated-core-lib
Status Success
Total duration 4m 10s
Artifacts –

licenses.yml

on: pull_request
nix-action
3m 59s
nix-action
Fit to window
Zoom out
Zoom in