a28c44fc96
Switch CI from bors to merge queue |
||
---|---|---|
.. | ||
ISSUE_TEMPLATE | ||
workflows | ||
deploy.sh | ||
driver.sh | ||
PULL_REQUEST_TEMPLATE.md |
a28c44fc96
Switch CI from bors to merge queue |
||
---|---|---|
.. | ||
ISSUE_TEMPLATE | ||
workflows | ||
deploy.sh | ||
driver.sh | ||
PULL_REQUEST_TEMPLATE.md |