Allow expansion in `(modules)` field #24259

Triggered via pull request January 10, 2024 10:00

nojb

synchronize #9578

nojb:modules_unexpanded

Status Success

Total duration 29m 6s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

workflow.yml

on: pull_request

Matrix: Build

Matrix: Coverage

Matrix: Create local opam switch

Matrix: dkml-current

Matrix: Nix

1 warning

Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.