Nix CI for bundle master

Port to `Elpi mlock` #86

Sign in to view logs

Triggered via pull request October 1, 2025 16:26

pi8027

opened #144

Status Failure

Total duration 2h 12m 17s

Artifacts –

nix-action-master.yml

on: pull_request_target

mathcomp-bigenough

mathcomp-finmap

hierarchy-builder

Annotations

4 errors

Process completed with exit code 1.

mathcomp-finmap

Process completed with exit code 1.

mathcomp-bigenough

Process completed with exit code 1.

Process completed with exit code 1.