Skip to content

Actions: candidelabs/candide-contracts

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora_recovery.yml
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move runtime dependencies to dependencies certora #7: Commit b8bbfd7 pushed by andrewwahid
July 8, 2024 17:28 34m 38s main
main
July 8, 2024 17:28 34m 38s
Move compile-time dependencies to dependencies in package.json certora #6: Pull request #24 opened by mmv08
July 8, 2024 16:29 14s 5afe:fix-runtime-deps
5afe:fix-runtime-deps
July 8, 2024 16:29 14s
Check if Certora Key is set in the repo for CI (#52) certora #5: Commit d0083e0 pushed by andrewwahid
July 1, 2024 20:28 34m 57s main
main
July 1, 2024 20:28 34m 57s
Social Recovery Module Update certora #4: Pull request #23 synchronize by remedcu
July 1, 2024 09:03 13s 5afe:main
5afe:main
July 1, 2024 09:03 13s