coqPackages: allow one level of introspection before applying __attrsFailEvaluation #845983

Sign in to view logs

Triggered via pull request July 4, 2024 23:03

ofborg[bot]

labeled #324675

Status Skipped

Total duration 2s

Artifacts –

backport.yml

on: pull_request_target

Backport Pull Request