Build and Test Dafny Runtimes

Fix: Reserved module identifiers correctly escaped in GO #7103

Sign in to view logs

Triggered via pull request March 29, 2024 20:29

MikaelMayer

synchronize #4431

fix-4181-reserved-name-go-not-escaped

Status Success

Total duration 16m 5s

Artifacts –

runtime-tests.yml

on: pull_request

check-deep-tests / check-deep-tests