%!s(int64=2) %!d(string=hai) anos · e928466183
--- a/.github/workflows/formal-verification.yml
+++ b/.github/workflows/formal-verification.yml
@@ -1,10 +1,6 @@
 
				 name: formal verification
			
 
				 
			
 
				 on:
			
 
				-  push:
			
 
				-    branches:
			
 
				-      - master
			
 
				-      - release-v*
			
 
				   pull_request:
			
 
				     types:
			
 
				       - opened