| .. |
|
actionlint.yml
|
9ef69c03d1
Update actions/checkout action to v4 (#4572)
|
2 år sedan |
|
changeset.yml
|
9ef69c03d1
Update actions/checkout action to v4 (#4572)
|
2 år sedan |
|
checks.yml
|
78c8da8648
Update pragma check: validate by actually running the compiler (#5730)
|
4 månader sedan |
|
docs.yml
|
9ef69c03d1
Update actions/checkout action to v4 (#4572)
|
2 år sedan |
|
formal-verification.yml
|
2655a89165
Update actions/setup-java action to v4 (#4770)
|
10 månader sedan |
|
release-cycle.yml
|
da32fb3bd8
Add missing `id-token: write` permission in release pipeline (#5645)
|
5 månader sedan |
|
upgradeable.yml
|
abba0d047a
Update remappings.txt for upgradeable contracts and set up submodule (#4639)
|
2 år sedan |
Hadrien Croubois
78c8da8648
Update pragma check: validate by actually running the compiler (#5730)