| .. |
|
actionlint.yml
|
d89e51ac42
Use actionlint on GitHub Actions workflows (#3953)
|
il y a 2 ans |
|
changeset.yml
|
dc1ffa79e7
Fix changeset action access to ref branch (#3978)
|
il y a 2 ans |
|
checks.yml
|
996168f1f1
Remove slither hardcoded version (#4431)
|
il y a 2 ans |
|
docs.yml
|
ac30219a6a
Add explicit permissions to docs workflow
|
il y a 2 ans |
|
formal-verification.yml
|
00cbf5a236
Update pragma to 0.8.20 (#4489)
|
il y a 2 ans |
|
release-cycle.yml
|
002a7c8812
Remove automatic conflict resolution for merge from release branch (#4362)
|
il y a 2 ans |
|
upgradeable.yml
|
51294b7480
Make transpilation setup local to this repo (#4041)
|
il y a 2 ans |
Hadrien Croubois
00cbf5a236
Update pragma to 0.8.20 (#4489)