Skip to content
Nix CI for bundle 8.20

Bump actions/download-artifact from 6 to 7 (#279) #49

Sign in to view logs

Bump actions/download-artifact from 6 to 7 (#279)

Bump actions/download-artifact from 6 to 7 (#279) #49

Triggered via push December 15, 2025 09:38
@4ever24ever2
pushed 49bce30
master
Status Success
Total duration 14m 32s
Artifacts –

nix-action-8.20.yml

on: push
coq
46s
coq
metacoq
57s
metacoq
QuickChick
1m 5s
QuickChick
stdpp
55s
stdpp
ElmExtraction
41s
ElmExtraction
RustExtraction
45s
RustExtraction
ConCert
11m 55s
ConCert
Fit to window
Zoom out
Zoom in