Skip to content
Back to pull request #9527

Fix extra-prog-path propagation in the codebase. #8494

Sign in to view logs

Fix extra-prog-path propagation in the codebase.

Fix extra-prog-path propagation in the codebase. #8494

Triggered via pull request January 18, 2024 18:42
@MikolajMikolaj
synchronize #9527
jasagredo:js/fix-extra-paths-propagation
Status Success
Total duration 8m 57s
Artifacts –

quick-jobs.yml

on: pull_request
Meta checks
7m 0s
Meta checks
Doctest Cabal
8m 49s
Doctest Cabal
Check Field Syntax Reference
7m 42s
Check Field Syntax Reference
Fit to window
Zoom out
Zoom in