Push dev shell to FlakeHub Cache

Fixup diagnostic URL handling (#100) #35

# to view logs

Triggered via push January 16, 2025 18:48

github-merge-queue[bot]

main

Status Success

Total duration 2m 6s

Billable time 2m

Artifacts –

flakehub-cache.yml

on: push

Matrix: push-dev-shell-to-flakehub-cache