Skip to content

[8.19] Bump MetaCoq version #15

[8.19] Bump MetaCoq version

[8.19] Bump MetaCoq version #15

Triggered via pull request January 29, 2025 18:55
@4ever24ever2
synchronize #259
Status Success
Total duration 14m 56s
Artifacts

nix-action-8.19.yml

on: pull_request_target
Fit to window
Zoom out
Zoom in