Nix CI for bundle 8.20

[8.20] Bump MetaCoq version (#260) #13

Sign in to view logs

Triggered via push January 29, 2025 20:37

4ever2

master

Status Success

Total duration 14m 58s

Artifacts –

nix-action-8.20.yml

on: push