Skip to content

Actions: euler-xyz/euler-earn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #33 from euler-xyz/fix-import-paths Enigma Dark Invariants - Echidna Workflow #7: Commit b2fd6e6 pushed by kasperpawlowski
1h 38m 36s master
master
1h 38m 36s
Absolute import paths Enigma Dark Invariants - Echidna Workflow #6: Pull request #33 synchronize by kasperpawlowski
1h 51m 10s fix-import-paths
fix-import-paths
1h 51m 10s
Absolute import paths Certora Prover Submission Workflow #12: Pull request #33 synchronize by kasperpawlowski
15m 24s fix-import-paths
fix-import-paths
15m 24s
Absolute import paths Enigma Dark Invariants - Echidna Workflow #5: Pull request #33 synchronize by kasperpawlowski
1h 54m 55s fix-import-paths
fix-import-paths
1h 54m 55s
Absolute import paths Certora Prover Submission Workflow #11: Pull request #33 synchronize by kasperpawlowski
14m 34s fix-import-paths
fix-import-paths
14m 34s
Absolute import paths Certora Prover Submission Workflow #10: Pull request #33 synchronize by kasperpawlowski
1m 49s fix-import-paths
fix-import-paths
1m 49s
Absolute import paths Enigma Dark Invariants - Echidna Workflow #4: Pull request #33 synchronize by kasperpawlowski
1h 54m 54s fix-import-paths
fix-import-paths
1h 54m 54s
Merge pull request #32 from euler-xyz/enigma-dark-invariants Enigma Dark Invariants - Echidna Workflow #3: Commit 773453b pushed by kasperpawlowski
1h 52m 39s master
master
1h 52m 39s
Absolute import paths Certora Prover Submission Workflow #9: Pull request #33 opened by kasperpawlowski
1m 34s fix-import-paths
fix-import-paths
1m 34s
Enigma dark invariant suite Certora Prover Submission Workflow #8: Pull request #32 synchronize by vnmrtz
8m 51s enigma-dark-invariants
enigma-dark-invariants
8m 51s
Enigma dark invariant suite Enigma Dark Invariants - Echidna Workflow #2: Pull request #32 synchronize by vnmrtz
1h 51m 43s enigma-dark-invariants
enigma-dark-invariants
1h 51m 43s
Enigma dark invariant suite Enigma Dark Invariants - Echidna Workflow #1: Pull request #32 synchronize by vnmrtz
14m 19s enigma-dark-invariants
enigma-dark-invariants
14m 19s
Enigma dark invariant suite Certora Prover Submission Workflow #7: Pull request #32 synchronize by vnmrtz
10m 10s enigma-dark-invariants
enigma-dark-invariants
10m 10s
Enigma dark invariant suite Certora Prover Submission Workflow #6: Pull request #32 synchronize by vnmrtz
9m 6s enigma-dark-invariants
enigma-dark-invariants
9m 6s
Certora formal verification rules Certora Prover Submission Workflow #5: Pull request #31 opened by kasperpawlowski
9m 3s pr-28
pr-28
9m 3s
chore: update the audit report Certora Prover Submission Workflow #4: Pull request #30 opened by kasperpawlowski
1m 12s audit-report
audit-report
1m 12s
feat: Certora CI Certora Prover Submission Workflow #3: Pull request #29 opened by kasperpawlowski
39s certora-ci
certora-ci
39s
Certora formal verification rules Certora Prover Submission Workflow #2: Pull request #28 opened by aehyvari
55s Certora:certora/specs
Certora:certora/specs
55s
Fix readme Certora Prover Submission Workflow #1: Pull request #25 opened by dglowinski
42s fix-readme
fix-readme
42s
Diff CI #12: Pull request #1 opened by kasperpawlowski
50s rename
rename
50s
rename CI #11: Commit 7b77db8 pushed by kasperpawlowski
37s rename
rename
37s
feat: EulerEarn CI #10: Commit b9bba66 pushed by kasperpawlowski
38s development
development
38s
chore: .gitignore CI #9: Commit 3d2b357 pushed by kasperpawlowski
1m 0s master
master
1m 0s
rename CI #8: Commit fc64bb0 pushed by kasperpawlowski
38s rename
rename
38s
feat: EulerEarn CI #7: Commit 7c317b2 pushed by kasperpawlowski
44s development
development
44s