Deploy preview for PR

chore: Use the elaborator by default #6662

Sign in to view logs

Triggered via pull request June 17, 2024 16:08

jfecher

synchronize #5246

jf/make-elaborator-default

Status Success

Total duration 9m 44s

Artifacts 1

docs-pr.yml

on: pull_request

Artifacts

Produced during runtime

Name	Size
docs Expired	32.5 MB