Skip to content
Check Blogposts

Fix Formatting of Dafny Snippets in the Test Generation Blogpost #122

Sign in to view logs

Fix Formatting of Dafny Snippets in the Test Generation Blogpost

Fix Formatting of Dafny Snippets in the Test Generation Blogpost #122

Triggered via pull request March 21, 2024 19:51
@DargonesDargones
synchronize #33
Dargones:main
Status Cancelled
Total duration 46m 16s
Artifacts –

main.yml

on: pull_request
build
46m 3s
build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
The run was canceled by @atomb.
build
The operation was canceled.