Skip to content
Changelog Verifier

fix(deps): update dependency org.dafny:dafnyruntime to v4.9.0 (#949) #1793

Sign in to view logs

fix(deps): update dependency org.dafny:dafnyruntime to v4.9.0 (#949)

fix(deps): update dependency org.dafny:dafnyruntime to v4.9.0 (#949) #1793

Triggered via push November 7, 2024 18:36
@amitgalitzamitgalitz
pushed ba4b589
main
Status Success
Total duration 13s
Artifacts –

changelog_verifier.yml

on: push
verify-changelog
3s
verify-changelog
Fit to window
Zoom out
Zoom in

Annotations

1 warning
verify-changelog
ChangeLog enforcer only runs for pull_request and pull_request_target event types