Skip to content

Actions: Certora/euler-earn-fork

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
73 workflow runs
73 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Certora Prover Submission Workflow Certora Prover Submission Workflow #57: Manually run by aehyvari
14m 38s certora/fix-import-paths
certora/fix-import-paths
14m 38s
Fix import paths Enigma Dark Invariants - Echidna Workflow #16: Pull request #4 synchronize by aehyvari
1h 51m 36s fix-import-paths
fix-import-paths
1h 51m 36s
Fix import paths Certora Prover Submission Workflow #56: Pull request #4 synchronize by aehyvari
14m 36s fix-import-paths
fix-import-paths
14m 36s
Antti/remove mappings from conf Certora Prover Submission Workflow #55: Pull request #6 synchronize by raz-certora
15m 30s antti/remove-mappings-from-conf
antti/remove-mappings-from-conf
15m 30s
Antti/remove mappings from conf Enigma Dark Invariants - Echidna Workflow #15: Pull request #6 synchronize by raz-certora
2m 13s antti/remove-mappings-from-conf
antti/remove-mappings-from-conf
2m 13s
Antti/remove mappings from conf Enigma Dark Invariants - Echidna Workflow #14: Pull request #6 synchronize by raz-certora
1m 54s antti/remove-mappings-from-conf
antti/remove-mappings-from-conf
1m 54s
Antti/remove mappings from conf Certora Prover Submission Workflow #54: Pull request #6 synchronize by raz-certora
10m 5s antti/remove-mappings-from-conf
antti/remove-mappings-from-conf
10m 5s
Antti/remove mappings from conf Enigma Dark Invariants - Echidna Workflow #13: Pull request #6 synchronize by raz-certora
1h 50m 21s antti/remove-mappings-from-conf
antti/remove-mappings-from-conf
1h 50m 21s
Antti/remove mappings from conf Certora Prover Submission Workflow #53: Pull request #6 synchronize by raz-certora
14m 19s antti/remove-mappings-from-conf
antti/remove-mappings-from-conf
14m 19s
Antti/remove mappings from conf Certora Prover Submission Workflow #52: Pull request #6 synchronize by raz-certora
10m 47s antti/remove-mappings-from-conf
antti/remove-mappings-from-conf
10m 47s
Antti/remove mappings from conf Enigma Dark Invariants - Echidna Workflow #12: Pull request #6 synchronize by raz-certora
40m 4s antti/remove-mappings-from-conf
antti/remove-mappings-from-conf
40m 4s
Antti/remove mappings from conf Certora Prover Submission Workflow #51: Pull request #6 synchronize by raz-certora
5m 8s antti/remove-mappings-from-conf
antti/remove-mappings-from-conf
5m 8s
Antti/remove mappings from conf Enigma Dark Invariants - Echidna Workflow #11: Pull request #6 synchronize by raz-certora
14m 0s antti/remove-mappings-from-conf
antti/remove-mappings-from-conf
14m 0s
Antti/remove mappings from conf Enigma Dark Invariants - Echidna Workflow #10: Pull request #6 synchronize by raz-certora
49m 8s antti/remove-mappings-from-conf
antti/remove-mappings-from-conf
49m 8s
Antti/remove mappings from conf Certora Prover Submission Workflow #50: Pull request #6 synchronize by raz-certora
15m 18s antti/remove-mappings-from-conf
antti/remove-mappings-from-conf
15m 18s
Antti/remove mappings from conf Enigma Dark Invariants - Echidna Workflow #9: Pull request #6 synchronize by raz-certora
41m 20s antti/remove-mappings-from-conf
antti/remove-mappings-from-conf
41m 20s
Antti/remove mappings from conf Certora Prover Submission Workflow #49: Pull request #6 synchronize by raz-certora
14m 33s antti/remove-mappings-from-conf
antti/remove-mappings-from-conf
14m 33s
Antti/remove mappings from conf Enigma Dark Invariants - Echidna Workflow #8: Pull request #6 synchronize by aehyvari
1h 50m 36s antti/remove-mappings-from-conf
antti/remove-mappings-from-conf
1h 50m 36s
Antti/remove mappings from conf Certora Prover Submission Workflow #48: Pull request #6 synchronize by aehyvari
15m 33s antti/remove-mappings-from-conf
antti/remove-mappings-from-conf
15m 33s
Antti/remove mappings from conf Certora Prover Submission Workflow #47: Pull request #6 opened by aehyvari
14m 57s antti/remove-mappings-from-conf
antti/remove-mappings-from-conf
14m 57s
Antti/remove mappings from conf Enigma Dark Invariants - Echidna Workflow #7: Pull request #6 opened by aehyvari
14m 2s antti/remove-mappings-from-conf
antti/remove-mappings-from-conf
14m 2s
Antti/add mapping to conf Certora Prover Submission Workflow #46: Pull request #5 opened by aehyvari
14m 49s antti/add-mapping-to-conf
antti/add-mapping-to-conf
14m 49s
Antti/add mapping to conf Enigma Dark Invariants - Echidna Workflow #6: Pull request #5 opened by aehyvari
1h 57m 57s antti/add-mapping-to-conf
antti/add-mapping-to-conf
1h 57m 57s
Fix import paths Certora Prover Submission Workflow #45: Pull request #4 synchronize by aehyvari
1m 36s fix-import-paths
fix-import-paths
1m 36s
Fix import paths Enigma Dark Invariants - Echidna Workflow #5: Pull request #4 synchronize by aehyvari
1h 52m 12s fix-import-paths
fix-import-paths
1h 52m 12s