Generate source index

Merge pull request #2013 from zerty/hotfix #411

Sign in to view logs

Summary
Jobs
- index_gen
Run details
- Usage
- Workflow file

Triggered via push July 26, 2023 02:13

dipu-bd

dev

Status Success

Total duration 1m 1s

Artifacts –

index-gen.yml

on: push