Skip to content
Check Blogposts

remove reference to "industrial Dafny users" #24

Sign in to view logs

remove reference to "industrial Dafny users"

remove reference to "industrial Dafny users" #24

Triggered via push November 1, 2023 16:51
@DargonesDargones
pushed 4006722
main
Status Success
Total duration 14m 43s
Artifacts –

main.yml

on: push
build
14m 34s
build
Fit to window
Zoom out
Zoom in