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=sml sml_MODE=polyml)

linux (IMPL=sml sml_MODE=polyml)
succeeded Oct 22, 2025 in 43s