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