Skip to content

Fixing failing CI/CD#342

Merged
rayman2000 merged 2 commits into
masterfrom
nklose/ci-fails
Jun 25, 2026
Merged

Fixing failing CI/CD#342
rayman2000 merged 2 commits into
masterfrom
nklose/ci-fails

Conversation

@rayman2000

Copy link
Copy Markdown
Contributor

The tests in the CI/CD pipeline fails sometimes. It looks like miserable Akka race conditions madness. Here is an attempt to fix that?

Comment thread src/main/scala/viper/server/vsi/VerificationServer.scala
Comment thread src/main/scala/viper/server/vsi/VerificationServer.scala
@rayman2000 rayman2000 marked this pull request as ready for review March 6, 2026 14:57

@ArquintL ArquintL left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oh my gosh, do we have null actors in a verification handle 🤦
I'm not sure that it still makes sense to merge this PR given that you want to get rid of it altogether...

@rayman2000 rayman2000 added this pull request to the merge queue Jun 25, 2026
Merged via the queue into master with commit 840fff6 Jun 25, 2026
19 checks passed
@rayman2000 rayman2000 deleted the nklose/ci-fails branch June 25, 2026 09:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants