1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-25 14:33:52 +01:00

Merge pull request #15454 from aabadie/pr/ci/gh_action_circleci_name

gh_actions: give a name to the circleci doc artifact action
This commit is contained in:
Alexandre Abadie 2020-11-17 17:42:44 +01:00 committed by GitHub
commit 073d2c6e35
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,3 +1,4 @@
name: doc-build-artifact
on: [status]
jobs:
circleci_artifacts_redirector_job: