Skip to content
Nix CI for bundle 8.17

refresh boilerplate and ci #34

Sign in to view logs

refresh boilerplate and ci

refresh boilerplate and ci #34

Triggered via pull request January 1, 2024 13:43
@palmskogpalmskog
synchronize #68
refresh-boilerplate
Status Success
Total duration 19m 21s
Artifacts –

nix-action-8.17.yml

on: pull_request
coq
33s
coq
mathcomp
18m 32s
mathcomp
reglang
5m 7s
reglang
Fit to window
Zoom out
Zoom in