Ernesto García 996168f1f1 Remove slither hardcoded version (#4431)

2023-07-07 16:29:21 +02:00

..

actionlint.yml

Use actionlint on GitHub Actions workflows (#3953)

2023-01-13 11:05:13 -03:00

changeset.yml

Fix changeset action access to ref branch (#3978)

2023-01-19 16:36:54 -03:00

checks.yml

Remove slither hardcoded version (#4431)

2023-07-07 16:29:21 +02:00

docs.yml

Add explicit permissions to docs workflow

2023-01-12 20:55:53 -03:00

formal-verification.yml

Disable automatic formal verification workflow on push (#4208)

2023-05-03 16:13:42 +02:00

release-cycle.yml

Remove automatic conflict resolution for merge from release branch (#4362)

2023-06-16 15:42:19 -03:00

upgradeable.yml

Make transpilation setup local to this repo (#4041)

2023-05-09 15:52:23 -03:00