Skip to content
Build and Test Dafny Standard Libraries

Use Token instead of IToken in lexical token locations #3953

Sign in to view logs

Use Token instead of IToken in lexical token locations

Use Token instead of IToken in lexical token locations #3953

Triggered via pull request December 3, 2024 22:02
@keyboardDrummerkeyboardDrummer
synchronize #5957
keyboardDrummer:lexicalTokenType
Status Success
Total duration 27m 59s
Artifacts –

standard-libraries.yml

on: pull_request
check-deep-tests  /  check-deep-tests
6s
check-deep-tests / check-deep-tests
build
27m 33s
build
Fit to window
Zoom out
Zoom in