Editorial: tweak alias names #37

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request October 1, 2024 20:45

bakkot

synchronize #13

bakkot-patch-1

Status Success

Total duration 18s

Artifacts –

build.yml

on: pull_request