Merge branch 'main' into dylan/doc-comment-rewrites

bugzilla · Mar 22, 2024 · d048234 · d048234
2 parents f8eeb9d + 020b024
commit d048234
Show file tree

Hide file tree

Showing 60 changed files with 934 additions and 734 deletions.
diff --git a/.circleci/build.sh b/.circleci/build.sh
diff --git a/.circleci/config.yml b/.circleci/config.yml
diff --git a/.circleci/deploy.pl b/.circleci/deploy.pl
diff --git a/.circleci/deploy.sh b/.circleci/deploy.sh
diff --git a/.circleci/checksetup_answers.txt → .github/checksetup_answers.txt b/.circleci/checksetup_answers.txt → .github/checksetup_answers.txt
diff --git a/.circleci/selenium_test.conf → .github/selenium_test.conf b/.circleci/selenium_test.conf → .github/selenium_test.conf