Skip to content
Nix CI for bundle 8.20

Bump actions/upload-artifact from 5 to 6 (#278) #48

Sign in to view logs

Bump actions/upload-artifact from 5 to 6 (#278)

Bump actions/upload-artifact from 5 to 6 (#278) #48

Triggered via push December 15, 2025 09:37
@4ever24ever2
pushed 1b33edd
master
Status Success
Total duration 14m 12s
Artifacts –

nix-action-8.20.yml

on: push
coq
43s
coq
metacoq
52s
metacoq
QuickChick
1m 13s
QuickChick
stdpp
41s
stdpp
ElmExtraction
50s
ElmExtraction
RustExtraction
47s
RustExtraction
ConCert
11m 32s
ConCert
Fit to window
Zoom out
Zoom in