Skip to content

Actions: Certora/LiquidityPoolExample

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
9 workflow runs
9 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge pull request #2 from Certora/CVL2 Certora verification #9: Commit 6526fe5 pushed by mdgeorge4153
October 17, 2023 19:22 14m 50s main
main
October 17, 2023 19:22 14m 50s
Convert to CVL2 and add CI Certora verification #8: Pull request #2 synchronize by mdgeorge4153
October 13, 2023 10:41 11m 58s CVL2
CVL2
October 13, 2023 10:41 11m 58s
maybe this will work? Certora verification #7: Commit 21ea8cc pushed by mdgeorge4153
October 13, 2023 10:41 8m 35s CVL2
CVL2
October 13, 2023 10:41 8m 35s
Convert to CVL2 and add CI Certora verification #6: Pull request #2 opened by mdgeorge4153
October 13, 2023 10:35 7m 54s CVL2
CVL2
October 13, 2023 10:35 7m 54s
adding expect feature Certora verification #5: Commit e8899e2 pushed by mdgeorge4153
October 13, 2023 10:26 13m 26s CVL2
CVL2
October 13, 2023 10:26 13m 26s
removed some warnings Certora verification #4: Commit 10de863 pushed by mdgeorge4153
October 12, 2023 21:30 14m 32s CVL2
CVL2
October 12, 2023 21:30 14m 32s
fixed confs Certora verification #3: Commit bf0a610 pushed by mdgeorge4153
October 12, 2023 21:17 57s CVL2
CVL2
October 12, 2023 21:17 57s
requirements Certora verification #2: Commit 03d5f47 pushed by mdgeorge4153
October 12, 2023 21:08 46s CVL2
CVL2
October 12, 2023 21:08 46s
fixed confs, updated scripts to use them, added CI Certora verification #1: Commit 192c632 pushed by mdgeorge4153
October 12, 2023 21:07 32s CVL2
CVL2
October 12, 2023 21:07 32s