Skip to content
Changelog Verifier

[Backport 2.x] fix(deps): update dependency org.dafny:dafnyruntime to… #1796

Sign in to view logs

[Backport 2.x] fix(deps): update dependency org.dafny:dafnyruntime to…

[Backport 2.x] fix(deps): update dependency org.dafny:dafnyruntime to… #1796

Triggered via push November 7, 2024 19:09
@dbwiddisdbwiddis
pushed 9abef06
2.x
Status Success
Total duration 19s
Artifacts –

changelog_verifier.yml

on: push
verify-changelog
8s
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