Skip to content

use registry

use registry #6

Workflow file for this run

# This workflow uses actions that are not certified by GitHub.
# They are provided by a third-party and are governed by
# separate terms of service, privacy policy, and support
# documentation.
name: Run Examples
on:
push:
paths: src/**
permissions:
contents: read