Change prefix to pica #1323

Sign in to view logs

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

Triggered via pull request November 17, 2023 09:08

GNaD13

opened #272

dang/change-prefix-pica

Status Success

Total duration 2m 1s

Artifacts –

build.yml

on: pull_request