Skip to content

Actions: euler-xyz/fee-flow

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
feat: add push action Certora verification #25: Commit 89a4715 pushed by rori4
February 21, 2024 10:19 2m 39s fix/certora-broken-tests
fix/certora-broken-tests
February 21, 2024 10:19 2m 39s
Fix: certora broken tests + add more rules Certora verification #24: Pull request #12 synchronize by rori4
February 21, 2024 10:16 26s fix/certora-broken-tests
fix/certora-broken-tests
February 21, 2024 10:16 26s
Fix: certora broken tests + add more rules Certora verification #23: Pull request #12 synchronize by rori4
February 21, 2024 10:07 18s fix/certora-broken-tests
fix/certora-broken-tests
February 21, 2024 10:07 18s
Fix: certora broken tests + add more rules Certora verification #22: Pull request #12 synchronize by rori4
February 20, 2024 17:47 18s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 17:47 18s
chore: cleanup unused mutations Certora verification #21: Commit cff8d9f pushed by rori4
February 20, 2024 17:24 2m 33s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 17:24 2m 33s
fix: remove push Certora verification #20: Commit 27d2c24 pushed by rori4
February 20, 2024 17:23 3m 3s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 17:23 3m 3s
Fix: certora broken tests + add more rules Certora verification #19: Pull request #12 synchronize by rori4
February 20, 2024 17:22 17s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 17:22 17s
Revert "fix: remove double run on push" Certora verification #18: Commit 44b04ee pushed by rori4
February 20, 2024 17:22 3m 46s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 17:22 3m 46s
Fix: certora broken tests + add more rules Certora verification #17: Pull request #12 synchronize by rori4
February 20, 2024 17:20 15s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 17:20 15s
Fix: certora broken tests + add more rules Certora verification #16: Pull request #12 synchronize by rori4
February 20, 2024 17:00 19s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 17:00 19s
fix: git clone recursively Certora verification #15: Commit dc62ac1 pushed by rori4
February 20, 2024 17:00 3m 7s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 17:00 3m 7s
Fix: certora broken tests + add more rules Certora verification #14: Pull request #12 synchronize by rori4
February 20, 2024 16:34 34s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 16:34 34s
feat: install packages foundry Certora verification #13: Commit 3a8e5eb pushed by rori4
February 20, 2024 16:34 11m 27s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 16:34 11m 27s
Fix: certora broken tests + add more rules Certora verification #12: Pull request #12 synchronize by rori4
February 20, 2024 16:31 26s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 16:31 26s
fix: use only hash Certora verification #11: Commit 023a49d pushed by rori4
February 20, 2024 16:31 29s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 16:31 29s
Fix: certora broken tests + add more rules Certora verification #10: Pull request #12 synchronize by rori4
February 20, 2024 16:25 28s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 16:25 28s
feat: ignore spaces for msg to pass Certora verification #9: Commit c253246 pushed by rori4
February 20, 2024 16:25 27s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 16:25 27s
Fix: certora broken tests + add more rules Certora verification #8: Pull request #12 synchronize by rori4
February 20, 2024 15:57 30s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 15:57 30s
fix: remove message Certora verification #7: Commit 3f1e25b pushed by rori4
February 20, 2024 15:57 23s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 15:57 23s
Fix: certora broken tests + add more rules Certora verification #6: Pull request #12 synchronize by rori4
February 20, 2024 15:46 31s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 15:46 31s
fix: use run.sh to start tests Certora verification #5: Commit dd64614 pushed by rori4
February 20, 2024 15:46 26s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 15:46 26s
Fix: certora broken tests + add more rules Certora verification #4: Pull request #12 synchronize by rori4
February 20, 2024 15:38 22s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 15:38 22s
fix: update solc and comment out the mutate Certora verification #3: Commit 7eb6942 pushed by rori4
February 20, 2024 15:38 27s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 15:38 27s
Fix: certora broken tests + add more rules Certora verification #2: Pull request #12 synchronize by rori4
February 20, 2024 15:36 40s fix/certora-broken-tests
fix/certora-broken-tests
February 20, 2024 15:36 40s