Skip to content
Build and Test

Use /usr/bin/env bash shebangs instead of /bin/bash #880

Sign in to view logs

Use /usr/bin/env bash shebangs instead of /bin/bash

Use /usr/bin/env bash shebangs instead of /bin/bash #880

linux (IMPL=latex3 NO_PERF=1 NO_SELF_HOST=1 SLOW=1)

linux (IMPL=latex3 NO_PERF=1 NO_SELF_HOST=1 SLOW=1)
succeeded Oct 22, 2025 in 1m 20s