Nix CI for bundle master

Merge pull request #56 from proux01/ci_update #19

Sign in to view logs

Triggered via push September 1, 2023 14:13

CohenCyril

master

Status Success

Total duration 3m 19s

Artifacts –

nix-action-master.yml

on: push

mathcomp-bigenough

hierarchy-builder

mathcomp-real-closed