Build index

Merge pull request #367 from MAPS-research/extensions #207

Sign in to view logs

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

Triggered via push September 17, 2024 07:03

w-e-w

extensions

Status Success

Total duration 15s

Artifacts –

build_index.yml

on: push

Annotations

1 notice

build-index

17 tags, 346 extensions