Fix a few issues in GitHub publish_website workflow #3826

Triggered via pull request August 19, 2023 06:38

opened #779

Status Success

Total duration 1m 17s

Artifacts 1

pyre.yml

on: pull_request

Produced during runtime

Name	Size
SARIF Results Expired	256 Bytes