This repository was archived by the owner on Sep 8, 2025. It is now read-only.
Merge pull request #125 from alexcrichton/merge-main #88
github-merge-queue[bot]
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
publish-artifacts.yml
on: push
Publish artifacts of build
0s
Deploy gh-pages artifact
0s