Skip to content
Cleanup closed PR cache entries

chore: Use the elaborator by default #1705

Sign in to view logs

chore: Use the elaborator by default

chore: Use the elaborator by default #1705

Triggered via pull request June 17, 2024 20:16
@jfecherjfecher
closed #5246
jf/make-elaborator-default
Status Success
Total duration 15s
Artifacts –

cache-cleanup.yml

on: pull_request
cleanup
4s
cleanup
Fit to window
Zoom out
Zoom in