Skip to content
Sphinx

[nix] allow buildIdris output to be used as a dependency in other buildIdris calls more directly #4392

Sign in to view logs

[nix] allow buildIdris output to be used as a dependency in other buildIdris calls more directly

[nix] allow buildIdris output to be used as a dependency in other buildIdris calls more directly #4392

Triggered via pull request June 26, 2024 15:22
@mattpolzinmattpolzin
opened #3333
mattpolzin:nix-buildIdris-dep-leniency
Status Success
Total duration 37s
Artifacts –

ci-sphinx.yml

on: pull_request
Sphinx
24s
Sphinx
Fit to window
Zoom out
Zoom in