github-actions released this 04 Mar 10:10

· 176 commits to master since this release

v3.1.0

d7b1041

This commit was created on GitHub.com and signed with GitHub’s verified signature.

GPG key ID: B5690EEEBB952194

Verified

Learn about vigilant mode.

[Civl] Fixed bug in refinement check for actions (#853)

The refinement check for actions was handling the frame condition
correctly. Now the frame condition is handled in the same manner as the
refinement check for procedures.

Co-authored-by: Shaz Qadeer <shaz@meta.com>