Skip to content
Build and Test

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

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 #879

linux (IMPL=prolog)

linux (IMPL=prolog)
succeeded Oct 19, 2025 in 1m 4s