Build and Test Dafny Runtimes

Fix: Green gutter icons over constants without RHS #8830

Sign in to view logs

Triggered via pull request October 18, 2024 12:02

MikaelMayer

opened #5842

fix-5841-gutter-constant

Status Cancelled

Total duration 5m 28s

Artifacts –

runtime-tests.yml

on: pull_request

check-deep-tests / check-deep-tests