formal verification

Actions

formal verification

Actions

Loading...
Loading

162 workflow run results

Remove hardhat-foundry and check harnesses compilation in CI formal verification #3282: Pull request #4832 synchronize by ernestognw

January 15, 2024 20:03

13s ernestognw:fix/harnesses-compilation

ernestognw:fix/harnesses-compilation

January 15, 2024 20:03

13s

Remove hardhat-foundry and check harnesses compilation in CI formal verification #3281: Pull request #4832 synchronize by ernestognw

January 15, 2024 19:36

10s ernestognw:fix/harnesses-compilation

ernestognw:fix/harnesses-compilation

January 15, 2024 19:36

10s

Remove hardhat-foundry and check harnesses compilation in CI formal verification #3280: Pull request #4832 synchronize by ernestognw

January 15, 2024 19:34

12s ernestognw:fix/harnesses-compilation

ernestognw:fix/harnesses-compilation

January 15, 2024 19:34

12s

Remove hardhat-foundry and check harnesses compilation in CI formal verification #3279: Pull request #4832 synchronize by ernestognw

January 15, 2024 19:26

11s ernestognw:fix/harnesses-compilation

ernestognw:fix/harnesses-compilation

January 15, 2024 19:26

11s

Remove hardhat-foundry and check harnesses compilation in CI formal verification #3278: Pull request #4832 synchronize by ernestognw

January 15, 2024 19:17

15s ernestognw:fix/harnesses-compilation

ernestognw:fix/harnesses-compilation

January 15, 2024 19:17

15s

Lower fuzz runs to 5000 formal verification #3277: Pull request #4835 synchronize by ernestognw

January 15, 2024 18:08

11s ernestognw:chore/lower-fuzz-runs

ernestognw:chore/lower-fuzz-runs

January 15, 2024 18:08

11s

Run gas-compare action on push to master formal verification #3276: Pull request #4834 synchronize by ernestognw

January 15, 2024 18:04

14s ernestognw:chore/run-gas-compare-on-master-push

ernestognw:chore/run-gas-compare-on-master-push

January 15, 2024 18:04

14s

Remove hardhat-foundry and check harnesses compilation in CI formal verification #3275: Pull request #4832 synchronize by Amxx

January 15, 2024 17:24

12s ernestognw:fix/harnesses-compilation

ernestognw:fix/harnesses-compilation

January 15, 2024 17:24

12s

Enable more solhint rules formal verification #3274: Pull request #4836 opened by Amxx

January 15, 2024 13:02

11s Amxx:style/solhint-rules

Amxx:style/solhint-rules

January 15, 2024 13:02

11s

Enable more solhint rules formal verification #3273: Pull request #4836 labeled by Amxx

January 15, 2024 13:02

22s Amxx:style/solhint-rules

Amxx:style/solhint-rules

January 15, 2024 13:02

22s

Remove hardhat-foundry and check harnesses compilation in CI formal verification #3272: Pull request #4832 synchronize by Amxx

January 15, 2024 08:29

16s ernestognw:fix/harnesses-compilation

ernestognw:fix/harnesses-compilation

January 15, 2024 08:29

16s

Remove hardhat-foundry and check harnesses compilation in CI formal verification #3271: Pull request #4832 synchronize by Amxx

January 14, 2024 15:15

12s ernestognw:fix/harnesses-compilation

ernestognw:fix/harnesses-compilation

January 14, 2024 15:15

12s

Remove hardhat-foundry and check harnesses compilation in CI formal verification #3270: Pull request #4832 synchronize by Amxx

January 14, 2024 15:13

15s ernestognw:fix/harnesses-compilation

ernestognw:fix/harnesses-compilation

January 14, 2024 15:13

15s

Lower fuzz runs to 5000 formal verification #3269: Pull request #4835 labeled by ernestognw

January 13, 2024 01:10

20s ernestognw:chore/lower-fuzz-runs

ernestognw:chore/lower-fuzz-runs

January 13, 2024 01:10

20s

Lower fuzz runs to 5000 formal verification #3268: Pull request #4835 opened by ernestognw

January 13, 2024 01:10

17s ernestognw:chore/lower-fuzz-runs

ernestognw:chore/lower-fuzz-runs

January 13, 2024 01:10

17s

Run gas-compare action on push to master formal verification #3266: Pull request #4834 labeled by ernestognw

January 13, 2024 00:30

12s ernestognw:chore/run-gas-compare-on-master-push

ernestognw:chore/run-gas-compare-on-master-push

January 13, 2024 00:30

12s

Run gas-compare action on push to master formal verification #3267: Pull request #4834 opened by ernestognw

January 13, 2024 00:30

22s ernestognw:chore/run-gas-compare-on-master-push

ernestognw:chore/run-gas-compare-on-master-push

January 13, 2024 00:30

22s

Remove outdated release script formal verification #3264: Pull request #4833 labeled by ernestognw

January 13, 2024 00:27

13s ernestognw:chore/remove-unnecesary-script

ernestognw:chore/remove-unnecesary-script

January 13, 2024 00:27

13s

Remove outdated release script formal verification #3265: Pull request #4833 opened by ernestognw

January 13, 2024 00:27

25s ernestognw:chore/remove-unnecesary-script

ernestognw:chore/remove-unnecesary-script

January 13, 2024 00:27

25s

Fix gas report generation formal verification #3263: Pull request #4824 labeled by ernestognw

January 13, 2024 00:19

12s Amxx:fix/gas-report

Amxx:fix/gas-report

January 13, 2024 00:19

12s

Remove hardhat-foundry and check harnesses compilation in CI formal verification #3262: Pull request #4832 synchronize by ernestognw

January 12, 2024 23:36

13s ernestognw:fix/harnesses-compilation

ernestognw:fix/harnesses-compilation

January 12, 2024 23:36

13s

Add Base64Url encoding formal verification #3261: Pull request #4822 synchronize by ernestognw

January 12, 2024 23:35

11s Amxx:feature/base64url

Amxx:feature/base64url

January 12, 2024 23:35

11s

Update dependency undici to v6 - autoclosed formal verification #3260: Pull request #4780 synchronize by renovate bot

January 12, 2024 23:25

41s renovate/undici-6.x

renovate/undici-6.x

January 12, 2024 23:25

41s

Update dependency solhint to v4 formal verification #3259: Pull request #4708 synchronize by renovate bot

January 12, 2024 23:25

15s renovate/solhint-4.x

renovate/solhint-4.x

January 12, 2024 23:25

15s

Remove hardhat-foundry and check harnesses compilation in CI formal verification #3258: Pull request #4832 synchronize by ernestognw

January 12, 2024 23:23

13s ernestognw:fix/harnesses-compilation

ernestognw:fix/harnesses-compilation

January 12, 2024 23:23

13s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Actions

Workflows

Management