Check toolchain file

feat: script for tagging SubVerso releases #159

Sign in to view logs

Triggered via pull request August 20, 2025 08:40

david-christiansen

opened #511

subverso-tag-script

Status Success

Total duration 11s

Artifacts –

pull-request-toolchains.yml

on: pull_request

Check for "nightly" in lean-toolchain