Skip to content

Actions: florashore/morpho

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #2 from florashore/dev Hardhat #7: Commit 62dcb46 pushed by florashore
2m 18s main
main
2m 18s
Merge pull request #2 from florashore/dev Halmos #7: Commit 62dcb46 pushed by florashore
3m 12s main
main
3m 12s
Merge pull request #2 from florashore/dev Formatting #7: Commit 62dcb46 pushed by florashore
38s main
main
38s
Merge pull request #2 from florashore/dev Foundry #7: Commit 62dcb46 pushed by florashore
9m 5s main
main
9m 5s
Merge pull request #2 from florashore/dev Certora #7: Commit 62dcb46 pushed by florashore
47s main
main
47s
Update ERC20Mock.sol Hardhat #6: Pull request #2 opened by florashore
2m 10s dev
dev
2m 10s
Update ERC20Mock.sol Formatting #6: Pull request #2 opened by florashore
32s dev
dev
32s
Update ERC20Mock.sol Foundry #6: Pull request #2 opened by florashore
8m 31s dev
dev
8m 31s
Update ERC20Mock.sol Certora #6: Pull request #2 opened by florashore
48s dev
dev
48s
Update ERC20Mock.sol Halmos #6: Pull request #2 opened by florashore
3m 7s dev
dev
3m 7s
Merge pull request #1 from florashore/dev Halmos #5: Commit 10800c6 pushed by florashore
3m 29s main
main
3m 29s
Merge pull request #1 from florashore/dev Certora #5: Commit 10800c6 pushed by florashore
40s main
main
40s
Merge pull request #1 from florashore/dev Formatting #5: Commit 10800c6 pushed by florashore
37s main
main
37s
Merge pull request #1 from florashore/dev Hardhat #5: Commit 10800c6 pushed by florashore
2m 5s main
main
2m 5s
Merge pull request #1 from florashore/dev Foundry #5: Commit 10800c6 pushed by florashore
2m 19s main
main
2m 19s
Add Transfer to function in ERC20Mock.sol Formatting #4: Pull request #1 opened by florashore
40s dev
dev
40s
Add Transfer to function in ERC20Mock.sol Hardhat #4: Pull request #1 opened by florashore
2m 42s dev
dev
2m 42s
Add Transfer to function in ERC20Mock.sol Halmos #4: Pull request #1 opened by florashore
2m 59s dev
dev
2m 59s
Add Transfer to function in ERC20Mock.sol Foundry #4: Pull request #1 opened by florashore
9m 39s dev
dev
9m 39s
Add Transfer to function in ERC20Mock.sol Certora #4: Pull request #1 opened by florashore
40s dev
dev
40s
Update Morpho.sol Formatting #3: Commit c8e130c pushed by florashore
56s main
main
56s
Update Morpho.sol Halmos #3: Commit c8e130c pushed by florashore
3m 11s main
main
3m 11s
Update Morpho.sol Foundry #3: Commit c8e130c pushed by florashore
3m 39s main
main
3m 39s
Update Morpho.sol Certora #3: Commit c8e130c pushed by florashore
30s main
main
30s
Update Morpho.sol Hardhat #3: Commit c8e130c pushed by florashore
2m 7s main
main
2m 7s