Skip to content
Check licenses

Move to annotated core lib #321

Sign in to view logs

Move to annotated core lib

Move to annotated core lib #321

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

licenses.yml

on: pull_request
nix-action
4m 18s
nix-action
Fit to window
Zoom out
Zoom in