Skip to content
check

Tools: Use bash instead of sh/zsh #33

Sign in to view logs

Tools: Use bash instead of sh/zsh

Tools: Use bash instead of sh/zsh #33

Triggered via push August 15, 2025 11:54
@mattkretzmattkretz
pushed 687aab8
bs_to_tex
Status Success
Total duration 10m 0s
Artifacts 1

check.yml

on: push
Matrix: run-checks
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
draft-snapshot
8.52 MB
sha256:1af7fee822ed04a8bbd6ba39c16902fd9b53b0e57ea8fa04ce282b73d2988e33