Publish

Merge pull request #1172 from SpiNNakerManchester/extraction #569

Sign in to view logs

Summary
Jobs
- build (14)
Run details
- Usage
- Workflow file

Triggered via push September 6, 2024 10:12

github-merge-queue[bot]

master

Status Success

Total duration 4m 16s

Artifacts –

publish.yml

on: push

Matrix: build

Annotations

1 error

Process completed with exit code 1.