Certora GitHub Action #36

H00N24 · 2025-06-24T07:11:47Z

No description provided.

certora-run

Verification Results

Group ID: 6d7fa5cd-fab1-4a60-a05f-931f27087295

Job	Result	VERIFIED	VIOLATED	Link
vault_consistency.conf	❌	3	1	Link
solvency_processor.conf	✅	7	0	Link
no_dilution_processor.conf	❌	5	2	Link
integrity.conf	✅	4	0	Link
inflation.conf	❌	2	3	Link
fees.conf	❌	3	2	Link

certora-run

Verification Results

Group ID: b22c3024-7f94-4d46-89e2-eecebef4c9bf

Job	Result	VERIFIED	VIOLATED	Link
vault_consistency.conf	❌	3	1	Link
solvency_processor.conf	✅	7	0	Link
no_dilution_processor.conf	❌	5	2	Link
integrity.conf	✅	4	0	Link
inflation.conf	❌	2	3	Link
fees.conf	❌	3	2	Link

certora-run

Verification Results

Group ID: 6237e3e0-7341-4b5f-8422-32b944b4d514

Job	Result	VERIFIED	VIOLATED	Link
vault_consistency.conf	❌	3	1	Link
solvency_processor.conf	✅	7	0	Link
no_dilution_processor.conf	❌	5	2	Link
integrity.conf	✅	4	0	Link
inflation.conf	❌	2	3	Link
fees.conf	❌	3	2	Link

certora-run

Verification Results

Group ID: 251aa0e1-8199-4c6e-88fd-33eeec35f2cc

Job	Result	VERIFIED	VIOLATED	Link
vault_consistency.conf	❌	3	1	Link
solvency_processor.conf	✅	7	0	Link
no_dilution_processor.conf	❌	5	2	Link
integrity.conf	✅	4	0	Link
inflation.conf	❌	2	3	Link
fees.conf	❌	3	2	Link

github-actions · 2025-06-24T12:54:01Z

Certora Run Started (Test Action)

Group ID: 73cffdc8-bf9b-4fc9-9da8-6033ede12216

Config	Status	Link	Log File
fees.conf	Failed (1)	-	fees.conf-9f91a8d03fba.log
inflation.conf	Compiled	-	inflation.conf-4122679c01c5.log
integrity.conf	Failed (1)	-	integrity.conf-d2ae4cf27410.log
no_dilution_processor.conf	Failed (1)	-	no_dilution_processor.conf-b69a82c59980.log
solvency_processor.conf	Failed (1)	-	solvency_processor.conf-89268b64eac2.log
vault_consistency.conf	Failed (1)	-	vault_consistency.conf-29f31844723b.log

Certora Run Summary

Started 0 jobs
5 jobs failed

Download Logs

github-actions · 2025-06-24T12:58:46Z

Certora Run Started (Test Action)

Group ID: 2fe37e24-defd-4e66-83c3-e06faf74137c

Config	Status	Link	Log File
fees.conf	Failed (1)	-	fees.conf-fd1fbe646e42.log
inflation.conf	Failed (1)	-	inflation.conf-a5f6651250c6.log
integrity.conf	Failed (1)	-	integrity.conf-c28b9968c454.log
no_dilution_processor.conf	Failed (1)	-	no_dilution_processor.conf-04dbff46de05.log
solvency_processor.conf	Compiled	-	solvency_processor.conf-83264bd23fd9.log
vault_consistency.conf	Failed (1)	-	vault_consistency.conf-ff01b29015ce.log

Certora Run Summary

Started 0 jobs
5 jobs failed

Download Logs

github-actions · 2025-06-24T13:12:43Z

Certora Run Started (Test Action)

Group ID: 4d71a288-1e9f-4904-8413-2161a06efd37

Config	Status	Link	Log File
fees.conf	Failed (1)	-	fees.conf-923c892b78bc.log
inflation.conf	Failed (1)	-	inflation.conf-4c15653ac510.log
integrity.conf	Compiled	-	integrity.conf-76d482e697bf.log
no_dilution_processor.conf	Failed (1)	-	no_dilution_processor.conf-c681eca2a461.log
solvency_processor.conf	Failed (1)	-	solvency_processor.conf-53cdc87a1ff0.log
vault_consistency.conf	Failed (1)	-	vault_consistency.conf-0ad5f16a06c5.log

Certora Run Summary

Started 0 jobs
5 jobs failed

Download Logs

github-actions · 2025-06-24T13:19:23Z

Certora Run Started (Test Action)

Group ID: d064980d-391b-4859-ab1e-e17494199fbc

Config	Status	Link	Log File
fees.conf	Failed (1)	-	fees.conf-aa10ae3c07b6.log
inflation.conf	Compiled	-	inflation.conf-78c0740402bb.log
integrity.conf	Failed (1)	-	integrity.conf-f8ff22c727c2.log
no_dilution_processor.conf	Failed (1)	-	no_dilution_processor.conf-66a85bda1a5e.log
solvency_processor.conf	Failed (1)	-	solvency_processor.conf-062460cc11d3.log
vault_consistency.conf	Failed (1)	-	vault_consistency.conf-51c5c55681ab.log

Certora Run Summary

Started 0 jobs
5 jobs failed

Download Logs

github-actions · 2025-06-24T13:24:36Z

Certora Run Started (Test Action)

Group ID: 5d3d3800-8d1f-41c2-8d9b-21a513b81549

Config	Status	Link	Log File
fees.conf	Failed (1)	-	fees.conf-8a917ccee355.log
inflation.conf	Failed (1)	-	inflation.conf-01011a197603.log
integrity.conf	Failed (1)	-	integrity.conf-97bbbd33df8a.log
no_dilution_processor.conf	Failed (1)	-	no_dilution_processor.conf-8d7156cfa419.log
solvency_processor.conf	Failed (1)	-	solvency_processor.conf-e51196575bca.log
vault_consistency.conf	Compiled	-	vault_consistency.conf-45e0bf41c999.log

Certora Run Summary

Started 0 jobs
5 jobs failed

Download Logs

github-actions · 2025-06-24T13:33:00Z

Certora Run Started (Test Action)

Group ID: 320c1de0-b339-4ca8-8b37-d39c45a69a68

Config	Status	Link	Log File
fees.conf	Compiled	-	fees.conf-6f018c10da24.log
inflation.conf	Failed (1)	-	inflation.conf-93dd45fc197e.log
integrity.conf	Failed (1)	-	integrity.conf-fe4d5d56b979.log
no_dilution_processor.conf	Failed (1)	-	no_dilution_processor.conf-bc93a7b4f85d.log
solvency_processor.conf	Failed (1)	-	solvency_processor.conf-1aa06d580649.log
vault_consistency.conf	Failed (1)	-	vault_consistency.conf-7e41151322b1.log

Certora Run Summary

Started 0 jobs
5 jobs failed

Download Logs

github-actions · 2025-06-24T13:38:42Z

Certora Run Started (Test Action)

Group ID: 6dd4456a-d560-44b5-9c45-a9ee1df3268d

Config	Status	Link	Log File
fees.conf	Compiled	-	fees.conf-898fccaa112b.log
inflation.conf	Failed (1)	-	inflation.conf-0c8933bb9f11.log
integrity.conf	Failed (1)	-	integrity.conf-e86969792269.log
no_dilution_processor.conf	Failed (1)	-	no_dilution_processor.conf-c95d43b92dd6.log
solvency_processor.conf	Failed (1)	-	solvency_processor.conf-ec276e097d34.log
vault_consistency.conf	Failed (1)	-	vault_consistency.conf-921f120743df.log

Certora Run Summary

Started 0 jobs
5 jobs failed

Download Logs

github-actions · 2025-06-24T13:43:28Z

Certora Run Started (Test Action)

Group ID: a65d1669-4d18-436d-8390-d083055b0308

Config	Status	Link	Log File
fees.conf	Compiled	-	fees.conf-1b1c463f2f40.log
inflation.conf	Failed (1)	-	inflation.conf-4036b2092ad2.log
integrity.conf	Failed (1)	-	integrity.conf-5c6d7ae5ae12.log
no_dilution_processor.conf	Failed (1)	-	no_dilution_processor.conf-1036133af48f.log
solvency_processor.conf	Failed (1)	-	solvency_processor.conf-0aedab2796b0.log
vault_consistency.conf	Failed (1)	-	vault_consistency.conf-429bca5bb18c.log

Certora Run Summary

Started 0 jobs
5 jobs failed

Download Logs

github-actions · 2025-06-24T13:49:34Z

Certora Run Started (Test Action)

Group ID: 4793bf4f-f38f-44b1-baa2-202094c64b80

Config	Status	Link	Log File
fees.conf	Failed (1)	-	fees.conf-11c731cba5d7.log
inflation.conf	Failed (1)	-	inflation.conf-11e4415d6448.log
integrity.conf	Failed (1)	-	integrity.conf-f1e4a1545f76.log
no_dilution_processor.conf	Compiled	-	no_dilution_processor.conf-99735c9d912d.log
solvency_processor.conf	Failed (1)	-	solvency_processor.conf-c7ee6ec7b622.log
vault_consistency.conf	Failed (1)	-	vault_consistency.conf-239d1ccb653b.log

Certora Run Summary

Started 0 jobs
5 jobs failed

Download Logs

certora-run

Verification Results

Group ID: cafc8ad2-4c34-47e9-8551-ffabadba358f

Job	Result	VERIFIED	VIOLATED	Link
vault_consistency.conf	❌	3	1	Link
solvency_processor.conf	✅	7	0	Link
no_dilution_processor.conf	❌	5	2	Link
integrity.conf	✅	4	0	Link
inflation.conf	❌	2	3	Link
fees.conf	❌	3	2	Link

certora-run

Verification Results

Group ID: 8d713a4a-fd71-420e-aa05-318056a8320a

Job	Result	VERIFIED	VIOLATED	Link
vault_consistency.conf	❌	3	1	Link
solvency_processor.conf	✅	7	0	Link
no_dilution_processor.conf	❌	5	2	Link
integrity.conf	✅	4	0	Link
inflation.conf	❌	2	3	Link
fees.conf	❌	3	2	Link

certora-run

Verification Results

Group ID: f1c5b6bc-ba8b-4d39-bdcc-7f1bd499876f

Job	Result	VERIFIED	VIOLATED	Link
vault_consistency.conf	❌	3	1	Link
solvency_processor.conf	✅	7	0	Link
no_dilution_processor.conf	❌	5	2	Link
integrity.conf	✅	4	0	Link
inflation.conf	❌	2	3	Link
fees.conf	❌	3	2	Link

ozcodes

looks great

H00N24 added 10 commits June 24, 2025 07:50

Adding Certora GH Action base

ba8167e

Rust build test

9434c6c

Add 1.75, 1.79

c87bb64

Use rustup

39b48de

Remove components

2ee9429

Add 1.82 1.81

5c4c6df

Use 1.82.0 as default

dd167e7

Install certora-sbf with rt action

761638b

Fix create name

0619b7b

Install via command

78e2d31

certora-run bot reviewed Jun 24, 2025

View reviewed changes

Certora deleted a comment from github-actions bot Jun 24, 2025

H00N24 added 2 commits June 24, 2025 11:43

Test cache

ec13c53

Small change for caching

7db7cb1

certora-run bot reviewed Jun 24, 2025

View reviewed changes

Test rust setup action

c99ab58

certora-run bot reviewed Jun 24, 2025

View reviewed changes

H00N24 added 2 commits June 24, 2025 13:36

Test cache

914e3ba

Remove comment

0a82e7f

certora-run bot reviewed Jun 24, 2025

View reviewed changes

Use fix/solana-rust-setup

bd97e9d

H00N24 changed the title ~~WIP: Certora GitHub Action~~ Certora GitHub Action Jun 24, 2025

Remove build_script

27fc637

Add use -vv for certora-sbf

26b927b

Use 1.86.0 instead of stable

d020591

Use stable

2a2864b

certora-run bot reviewed Jun 24, 2025

View reviewed changes

H00N24 added 2 commits June 24, 2025 16:12

Test installing rust-version

d563e6e

Remove version

56648ba

certora-run bot reviewed Jun 24, 2025

View reviewed changes

H00N24 marked this pull request as ready for review June 24, 2025 15:05

Use v1

a41e3d5

H00N24 requested a review from 1arie1 June 24, 2025 15:25

certora-run bot reviewed Jun 24, 2025

View reviewed changes

H00N24 requested a review from ozcodes June 25, 2025 07:56

ozcodes approved these changes Jun 25, 2025

View reviewed changes

Certora GitHub Action #36

Are you sure you want to change the base?

Certora GitHub Action #36

Uh oh!

Conversation

H00N24 commented Jun 24, 2025

Uh oh!

certora-run bot left a comment • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Verification Results

Uh oh!

certora-run bot left a comment • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Verification Results

Uh oh!

certora-run bot left a comment • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Verification Results

Uh oh!

certora-run bot left a comment • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Verification Results

Uh oh!

github-actions bot commented Jun 24, 2025

Certora Run Started (Test Action)

Certora Run Summary

Uh oh!

github-actions bot commented Jun 24, 2025

Certora Run Started (Test Action)

Certora Run Summary

Uh oh!

github-actions bot commented Jun 24, 2025

Certora Run Started (Test Action)

Certora Run Summary

Uh oh!

github-actions bot commented Jun 24, 2025

Certora Run Started (Test Action)

Certora Run Summary

Uh oh!

github-actions bot commented Jun 24, 2025

Certora Run Started (Test Action)

Certora Run Summary

Uh oh!

github-actions bot commented Jun 24, 2025

Certora Run Started (Test Action)

Certora Run Summary

Uh oh!

github-actions bot commented Jun 24, 2025

Certora Run Started (Test Action)

Certora Run Summary

Uh oh!

github-actions bot commented Jun 24, 2025

Certora Run Started (Test Action)

Certora Run Summary

Uh oh!

github-actions bot commented Jun 24, 2025

Certora Run Started (Test Action)

Certora Run Summary

Uh oh!

certora-run bot left a comment • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Verification Results

Uh oh!

certora-run bot left a comment • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Verification Results

Uh oh!

certora-run bot left a comment • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Verification Results

Uh oh!

ozcodes left a comment

Choose a reason for hiding this comment

certora-run bot left a comment •

edited

Loading

certora-run bot left a comment •

edited

Loading

certora-run bot left a comment •

edited

Loading

certora-run bot left a comment •

edited

Loading

certora-run bot left a comment •

edited

Loading

certora-run bot left a comment •

edited

Loading

certora-run bot left a comment •

edited

Loading