utwente-fmt / vercors

The VerCors verification toolset for verifying parallel and concurrent software

https://utwente.nl/vercors

Mozilla Public License 2.0

56 stars 26 forks source link

Bump dorny #1251

Closed bobismijnnaam closed 1 month ago

bobismijnnaam commented 1 month ago

PR description

Bump dorny/test-report in the hope it will start working again.

superaxander commented 1 month ago

Haha I was just looking into this. I think we actually need to do what they suggest in their readme where the test reporter is a separate workflow not running on the PR branch

superaxander commented 1 month ago

Note that the test reports aren't broken on your PRs since they are branches in this repository and hence have access to the resources

bobismijnnaam commented 1 month ago

Ah yeah, that sounds logical! I'll delete this branch & PR then.