| .. |
|
actionlint.yml
|
d89e51ac42
Use actionlint on GitHub Actions workflows (#3953)
|
há 2 anos atrás |
|
changeset.yml
|
dc1ffa79e7
Fix changeset action access to ref branch (#3978)
|
há 2 anos atrás |
|
checks.yml
|
e891ec587d
Merge branch 'master' into feat/access-manager
|
há 2 anos atrás |
|
docs.yml
|
ac30219a6a
Add explicit permissions to docs workflow
|
há 2 anos atrás |
|
formal-verification.yml
|
00cbf5a236
Update pragma to 0.8.20 (#4489)
|
há 2 anos atrás |
|
release-cycle.yml
|
002a7c8812
Remove automatic conflict resolution for merge from release branch (#4362)
|
há 2 anos atrás |
|
upgradeable.yml
|
51294b7480
Make transpilation setup local to this repo (#4041)
|
há 2 anos atrás |
Hadrien Croubois
e891ec587d
Merge branch 'master' into feat/access-manager