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

linux (IMPL=sml sml_MODE=polyml)
succeeded Oct 19, 2025 in 39s