Merge branch 'master' into github-actions

pull/59/head
Parker Moore 3 years ago committed by GitHub
commit 4cc4b8f123
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -12,4 +12,3 @@ jobs:
run: script/bootstrap
- name: test
run: script/cibuild

Loading…
Cancel
Save