Hadrien Croubois d98d9c03f3 Merge remote-tracking branch 'Certora/master' into formal-verification 3 gadi atpakaļ
..
ISSUE_TEMPLATE b119b564df Improve wording for forum link in new issue templates 3 gadi atpakaļ
actions 3a1c020b7d Skip pull_request actions when fetching ref in gas-compare action 3 gadi atpakaļ
workflows d98d9c03f3 Merge remote-tracking branch 'Certora/master' into formal-verification 3 gadi atpakaļ
PULL_REQUEST_TEMPLATE.md 5a8e6bda51 Update pull request template 4 gadi atpakaļ