Remove `-custom` mode from Dune #3796

Triggered via pull request August 11, 2023 14:43

vthemelis

opened #776

vthemelis:custom-mode

Status Success

Total duration 58s

Artifacts 1

pyre.yml

on: pull_request

Produced during runtime

Name	Size
SARIF Results Expired	256 Bytes