Nix CI

chore: still fixing Mathlib CI #8220

Sign in to view logs

Summary
Jobs
- Nix Linux
Run details
- Usage
- Workflow file

Triggered via pull request November 4, 2023 05:14

kim-em

opened #2817

CI_fix6

Status Success

Total duration 2m 38s

Artifacts –

nix-ci.yml

on: pull_request

Matrix: Build