Nix CI for bundle 8.15

fixes #1123 (unusable lemma) (#1124) #2294

Sign in to view logs

Triggered via push December 26, 2023 09:25

master

Status Success

Total duration 1m 24s

Artifacts –

nix-action-8.15.yml

on: push

mathcomp-analysis

mathcomp-analysis-single