Skip to content

Actions: euler-xyz/ethereum-vault-connector

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
394 workflow runs
394 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge Recent Certora Work checkrules #19: Pull request #88 synchronize by andrew-certora
February 14, 2024 10:14 1m 39s andrew@merge-certora
andrew@merge-certora
February 14, 2024 10:14 1m 39s
Merge Recent Certora Work checkrules #18: Pull request #88 synchronize by andrew-certora
February 14, 2024 10:05 7m 49s andrew@merge-certora
andrew@merge-certora
February 14, 2024 10:05 7m 49s
Amend CER-51-Permit-msg-sender post updates for controlCollateral checkrules #17: Pull request #90 synchronize by andrew-certora
February 13, 2024 15:42 7m 21s andrew@fixProp24
andrew@fixProp24
February 13, 2024 15:42 7m 21s
Fixes for CER-12-Controllers-number after updates to EVC checkrules #16: Pull request #89 synchronize by andrew-certora
February 13, 2024 15:39 10m 9s andrew@fixprop5
andrew@fixprop5
February 13, 2024 15:39 10m 9s
Merge Recent Certora Work checkrules #15: Pull request #88 synchronize by andrew-certora
February 13, 2024 14:40 6m 33s andrew@merge-certora
andrew@merge-certora
February 13, 2024 14:40 6m 33s
Fixes for CER-12-Controllers-number after updates to EVC checkrules #14: Pull request #89 synchronize by andrew-certora
February 13, 2024 12:44 8m 4s andrew@fixprop5
andrew@fixprop5
February 13, 2024 12:44 8m 4s
Merge Recent Certora Work checkrules #13: Pull request #88 synchronize by andrew-certora
February 13, 2024 12:32 4m 18s andrew@merge-certora
andrew@merge-certora
February 13, 2024 12:32 4m 18s
Merge Recent Certora Work checkrules #12: Pull request #88 synchronize by andrew-certora
February 13, 2024 11:44 7m 33s andrew@merge-certora
andrew@merge-certora
February 13, 2024 11:44 7m 33s
Merge Recent Certora Work checkrules #11: Pull request #88 synchronize by andrew-certora
February 13, 2024 10:25 6m 36s andrew@merge-certora
andrew@merge-certora
February 13, 2024 10:25 6m 36s
Merge Recent Certora Work checkrules #10: Pull request #88 synchronize by andrew-certora
February 13, 2024 10:21 3m 25s andrew@merge-certora
andrew@merge-certora
February 13, 2024 10:21 3m 25s
Merge Recent Certora Work checkrules #9: Pull request #88 synchronize by andrew-certora
February 13, 2024 10:19 2m 42s andrew@merge-certora
andrew@merge-certora
February 13, 2024 10:19 2m 42s
Amend CER-51-Permit-msg-sender post updates for controlCollateral checkrules #8: Pull request #90 opened by andrew-certora
February 12, 2024 15:52 23s andrew@fixProp24
andrew@fixProp24
February 12, 2024 15:52 23s
Fixes for CER-12-Controllers-number after updates to EVC checkrules #7: Pull request #89 opened by andrew-certora
February 12, 2024 14:09 1m 12s andrew@fixprop5
andrew@fixprop5
February 12, 2024 14:09 1m 12s
Merge Recent Certora Work checkrules #6: Pull request #88 synchronize by andrew-certora
February 12, 2024 11:34 6m 46s andrew@merge-certora
andrew@merge-certora
February 12, 2024 11:34 6m 46s
Merge Recent Certora Work checkrules #5: Pull request #88 synchronize by andrew-certora
February 12, 2024 10:21 1m 17s andrew@merge-certora
andrew@merge-certora
February 12, 2024 10:21 1m 17s
Merge Recent Certora Work checkrules #4: Pull request #88 synchronize by andrew-certora
February 12, 2024 09:59 1m 18s andrew@merge-certora
andrew@merge-certora
February 12, 2024 09:59 1m 18s
Merge Recent Certora Work checkrules #3: Pull request #88 synchronize by andrew-certora
February 12, 2024 09:45 1m 53s andrew@merge-certora
andrew@merge-certora
February 12, 2024 09:45 1m 53s
Merge Recent Certora Work checkrules #2: Pull request #88 synchronize by andrew-certora
February 9, 2024 15:27 2m 1s andrew@merge-certora
andrew@merge-certora
February 9, 2024 15:27 2m 1s
Merge Recent Certora Work checkrules #1: Pull request #88 opened by andrew-certora
February 9, 2024 14:57 1m 50s andrew@merge-certora
andrew@merge-certora
February 9, 2024 14:57 1m 50s
ProTip! You can narrow down the results and go further in time using created:<2024-02-09 or the other filters available.