Skip to content

Actions: euler-xyz/fee-flow

Actions

Certora verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update whitepaper.md Certora verification #51: Pull request #23 opened by Adg0
September 28, 2024 18:42 Action required Adg0:patch-1
Adg0:patch-1
September 28, 2024 18:42 Action required
update EVC submodule Certora verification #49: Pull request #21 opened by hoytech
August 15, 2024 16:44 33s update-evc-submodule
update-evc-submodule
August 15, 2024 16:44 33s
Use EVCUtil Certora verification #48: Pull request #20 opened by kasperpawlowski
July 29, 2024 11:37 13m 1s evcutil
evcutil
July 29, 2024 11:37 13m 1s
Readme Certora verification #47: Pull request #18 synchronize by MickdeGraaf
April 9, 2024 11:46 2m 56s readme
readme
April 9, 2024 11:46 2m 56s
Readme Certora verification #46: Pull request #18 synchronize by MickdeGraaf
April 9, 2024 11:45 3m 26s readme
readme
April 9, 2024 11:45 3m 26s
Readme Certora verification #45: Pull request #18 opened by MickdeGraaf
April 9, 2024 11:01 2m 49s readme
readme
April 9, 2024 11:01 2m 49s
audit reports Certora verification #44: Pull request #17 opened by MickdeGraaf
April 9, 2024 10:45 10m 48s audit-reports
audit-reports
April 9, 2024 10:45 10m 48s
License Certora verification #43: Pull request #16 opened by MickdeGraaf
February 22, 2024 13:09 10m 26s fix/omega-fixes
fix/omega-fixes
February 22, 2024 13:09 10m 26s
Fix/ottersec fixes Certora verification #42: Pull request #15 synchronize by MickdeGraaf
February 22, 2024 12:57 10m 7s fix/ottersec-fixes
fix/ottersec-fixes
February 22, 2024 12:57 10m 7s
Fix/ottersec fixes Certora verification #41: Pull request #15 synchronize by MickdeGraaf
February 22, 2024 12:39 35s fix/ottersec-fixes
fix/ottersec-fixes
February 22, 2024 12:39 35s
i++ -> ++i Certora verification #40: Commit 96ef64e pushed by MickdeGraaf
February 22, 2024 12:35 17s fix/ottersec-fixes
fix/ottersec-fixes
February 22, 2024 12:35 17s
Merge pull request #14 from euler-xyz/main Certora verification #39: Commit 6707f0f pushed by MickdeGraaf
February 22, 2024 12:25 20s fix/omega-fixes
fix/omega-fixes
February 22, 2024 12:25 20s
fix: custom submodules fetching Certora verification #38: Pull request #13 synchronize by rori4
February 21, 2024 12:00 2m 25s fix/github-actions-repo-not-found
fix/github-actions-repo-not-found
February 21, 2024 12:00 2m 25s
fix: custom submodules fetching Certora verification #37: Pull request #13 synchronize by rori4
February 21, 2024 11:57 2m 17s fix/github-actions-repo-not-found
fix/github-actions-repo-not-found
February 21, 2024 11:57 2m 17s
fix: custom submodules fetching Certora verification #36: Pull request #13 synchronize by rori4
February 21, 2024 11:42 10m 32s fix/github-actions-repo-not-found
fix/github-actions-repo-not-found
February 21, 2024 11:42 10m 32s
fix: custom submodules fetching Certora verification #35: Pull request #13 synchronize by rori4
February 21, 2024 11:18 25s fix/github-actions-repo-not-found
fix/github-actions-repo-not-found
February 21, 2024 11:18 25s
fix: custom submodules fetching Certora verification #34: Pull request #13 synchronize by rori4
February 21, 2024 11:12 19s fix/github-actions-repo-not-found
fix/github-actions-repo-not-found
February 21, 2024 11:12 19s
fix: custom submodules fetching Certora verification #33: Pull request #13 synchronize by rori4
February 21, 2024 11:09 32s fix/github-actions-repo-not-found
fix/github-actions-repo-not-found
February 21, 2024 11:09 32s
fix: custom submodules fetching Certora verification #32: Pull request #13 synchronize by rori4
February 21, 2024 10:58 23s fix/github-actions-repo-not-found
fix/github-actions-repo-not-found
February 21, 2024 10:58 23s
fix: custom submodules fetching Certora verification #31: Pull request #13 synchronize by rori4
February 21, 2024 10:56 22s fix/github-actions-repo-not-found
fix/github-actions-repo-not-found
February 21, 2024 10:56 22s
fix: custom submodules fetching Certora verification #30: Pull request #13 synchronize by rori4
February 21, 2024 10:50 13s fix/github-actions-repo-not-found
fix/github-actions-repo-not-found
February 21, 2024 10:50 13s
Certora verification Certora verification #29: Manually run by rori4
February 21, 2024 10:48 29s fix/github-actions-repo-not-found
fix/github-actions-repo-not-found
February 21, 2024 10:48 29s
Merge pull request #12 from euler-xyz/fix/certora-broken-tests Certora verification #28: Commit fd57082 pushed by rori4
February 21, 2024 10:36 18s fix/github-actions-repo-not-found
fix/github-actions-repo-not-found
February 21, 2024 10:36 18s
Merge pull request #12 from euler-xyz/fix/certora-broken-tests Certora verification #27: Commit fd57082 pushed by rori4
February 21, 2024 10:35 18s fix/githib-actions-repo-not-found
fix/githib-actions-repo-not-found
February 21, 2024 10:35 18s
Merge pull request #12 from euler-xyz/fix/certora-broken-tests Certora verification #26: Commit fd57082 pushed by MickdeGraaf
February 21, 2024 10:31 20s main
main
February 21, 2024 10:31 20s