Weekly resource fetching and community filtering

Weekly resource fetching and community filtering #21

Sign in to view logs

Manually triggered October 8, 2024 09:40

paulzierep

main

Status Success

Total duration 3h 4m 11s

Artifacts 5

fetch_filter_resources.yaml

on: workflow_dispatch

Matrix: Fetch tool stepwise

Merge tools, fetch tutorials and filter the resources for communities

Annotations

1 warning

Merge tools, fetch tutorials and filter the resources for communities

The following actions use a deprecated Node.js version and will be forced to run on node20: peter-evans/create-pull-request@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Artifacts

Produced during runtime

Name	Size
available-servers	868 Bytes
tools-repositories01.list	52.2 KB
tools-repositories02.list	105 KB
tools-repositories03.list	296 KB
tools-repositories04.list	88.7 KB