certora-review-receiver

Actions

certora-review-receiver

Actions

Loading...
Loading

certora-review-receiver.yml

167 workflow runs

feat: Add Linea network support certora-review-receiver #172: Pull request #94 synchronize by sendra

December 11, 2024 16:13

25m 17s feat/linea

feat/linea

December 11, 2024 16:13

25m 17s

feat: Add Linea network support certora-review-receiver #171: Pull request #94 synchronize by sendra

December 11, 2024 15:50

27m 38s feat/linea

feat/linea

December 11, 2024 15:50

27m 38s

feat: Add Linea network support certora-review-receiver #170: Pull request #94 synchronize by sendra

December 11, 2024 11:25

29m 5s feat/linea

feat/linea

December 11, 2024 11:25

29m 5s

feat: Add Linea network support certora-review-receiver #169: Pull request #94 synchronize by sendra

December 10, 2024 18:18

27m 52s feat/linea

feat/linea

December 10, 2024 18:18

27m 52s

feat: Add Linea network support certora-review-receiver #168: Pull request #94 synchronize by sendra

December 10, 2024 17:10

29m 49s feat/linea

feat/linea

December 10, 2024 17:10

29m 49s

feat: Add Linea network support certora-review-receiver #167: Pull request #94 synchronize by sendra

December 10, 2024 17:05

30m 14s feat/linea

feat/linea

December 10, 2024 17:05

30m 14s

feat: Add Linea network support certora-review-receiver #166: Pull request #94 synchronize by sendra

December 10, 2024 14:35

32m 16s feat/linea

feat/linea

December 10, 2024 14:35

32m 16s

feat: Add Linea network support certora-review-receiver #165: Pull request #94 synchronize by sendra

December 10, 2024 13:48

29m 40s feat/linea

feat/linea

December 10, 2024 13:48

29m 40s

Merge pull request #95 from bgd-labs/fix/update-oz-lib certora-review-receiver #164: Commit 75ad342 pushed by sendra

December 10, 2024 13:48

29m 33s main

main

December 10, 2024 13:48

29m 33s

fix: update oz and solidity utils lib certora-review-receiver #163: Pull request #95 synchronize by sendra

December 10, 2024 13:17

33m 41s fix/update-oz-lib

fix/update-oz-lib

December 10, 2024 13:17

33m 41s

fix: update oz and solidity utils lib certora-review-receiver #162: Pull request #95 synchronize by sendra

December 10, 2024 12:43

24m 3s fix/update-oz-lib

fix/update-oz-lib

December 10, 2024 12:43

24m 3s

fix: update oz and solidity utils lib certora-review-receiver #161: Pull request #95 synchronize by sendra

December 10, 2024 12:40

49s fix/update-oz-lib

fix/update-oz-lib

December 10, 2024 12:40

49s

feat: Add Linea network support certora-review-receiver #160: Pull request #94 synchronize by sendra

December 10, 2024 12:39

28m 57s feat/linea

feat/linea

December 10, 2024 12:39

28m 57s

fix: update oz and solidity utils lib certora-review-receiver #159: Pull request #95 synchronize by sendra

December 10, 2024 12:29

38s fix/update-oz-lib

fix/update-oz-lib

December 10, 2024 12:29

38s

fix: update oz and solidity utils lib certora-review-receiver #158: Pull request #95 synchronize by sendra

December 10, 2024 12:17

43s fix/update-oz-lib

fix/update-oz-lib

December 10, 2024 12:17

43s

fix: update oz and solidity utils lib certora-review-receiver #157: Pull request #95 synchronize by sendra

December 10, 2024 11:24

42s fix/update-oz-lib

fix/update-oz-lib

December 10, 2024 11:24

42s

fix: update oz and solidity utils lib certora-review-receiver #156: Pull request #95 synchronize by sendra

December 10, 2024 11:17

45s fix/update-oz-lib

fix/update-oz-lib

December 10, 2024 11:17

45s

fix: update oz and solidity utils lib certora-review-receiver #155: Pull request #95 synchronize by sendra

December 10, 2024 11:03

57s fix/update-oz-lib

fix/update-oz-lib

December 10, 2024 11:03

57s

fix: update oz and solidity utils lib certora-review-receiver #154: Pull request #95 opened by sendra

December 10, 2024 09:54

46s fix/update-oz-lib

fix/update-oz-lib

December 10, 2024 09:54

46s

feat: Add Linea network support certora-review-receiver #153: Pull request #94 synchronize by sendra

December 9, 2024 11:14

33m 48s feat/linea

feat/linea

December 9, 2024 11:14

33m 48s

feat: Add Linea network support certora-review-receiver #152: Pull request #94 opened by sendra

December 6, 2024 17:23

32m 37s feat/linea

feat/linea

December 6, 2024 17:23

32m 37s

Merge pull request #93 from bgd-labs/fix/update-libs-solidity-utils certora-review-receiver #151: Commit bcc0e87 pushed by sendra

August 8, 2024 08:10

31m 52s main

main

August 8, 2024 08:10

31m 52s

fix: update to latest solidity utils certora-review-receiver #150: Pull request #93 opened by sendra

August 7, 2024 16:14

36m 57s fix/update-libs-solidity-utils

fix/update-libs-solidity-utils

August 7, 2024 16:14

36m 57s

Merge pull request #92 from bgd-labs/fix/update-create2 certora-review-receiver #149: Commit cb7fc0c pushed by sendra

July 29, 2024 16:13

29m 31s main

main

July 29, 2024 16:13

29m 31s

fix: re added create2 methods certora-review-receiver #148: Pull request #92 synchronize by sendra

July 29, 2024 16:04

30m 10s fix/update-create2

fix/update-create2

July 29, 2024 16:04

30m 10s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Actions

Workflows

Management