Skip to content

Dub: Make determineDefaultCompiler configurable #153

Dub: Make determineDefaultCompiler configurable

Dub: Make determineDefaultCompiler configurable #153

Triggered via pull request December 22, 2023 10:35
@Geod24Geod24
opened #2750
Status Success
Total duration 14s
Artifacts

pr_info_intro.yml

on: pull_request_target
Make intro comment
5s
Make intro comment
Fit to window
Zoom out
Zoom in