Revising the way attributes are desugared #2476

Triggered via pull request August 1, 2023 05:02

nikswamy

synchronize #2940

_nik_decl_attrs

Status Success

Total duration 8m 35s

Artifacts 2

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

linux-x64.yaml

on: pull_request

2 errors

Unable to process file command 'env' successfully.

Invalid format '<html><head>'

Produced during runtime

Name	Size
Resource usage information (individual) Expired	115 KB
Resource usage information (summary) Expired	3.96 KB