GitHub Pages deploy

Add comma between the arguments to the `bind_symbolic_name` instructi… #113

Sign in to view logs

Summary
Jobs
- build
- deploy
Run details
- Usage
- Workflow file

Triggered via push October 2, 2024 00:06

github-merge-queue[bot]

trunk

Status Success

Total duration 1m 11s

Artifacts –

gh_pages_deploy.yaml

on: push