Skip to content
Build and Test Dafny Runtimes

Fix: Ability to use .Key as a constant name in datatypes and classes #4472

Sign in to view logs

Fix: Ability to use .Key as a constant name in datatypes and classes

Fix: Ability to use .Key as a constant name in datatypes and classes #4472

Triggered via pull request August 29, 2023 21:06
@MikaelMayerMikaelMayer
synchronize #4423
fix-4394-translator-crash
Status Success
Total duration 8m 31s
Artifacts –

runtime-tests.yml

on: pull_request
check-deep-tests  /  check-deep-tests
10s
check-deep-tests / check-deep-tests
build
3m 54s
build
Fit to window
Zoom out
Zoom in