Skip to content

Merge branch 'develop' #1

Merge branch 'develop'

Merge branch 'develop' #1

Workflow file for this run

name: Extensive CI
on:
push:
tags:
- '*'
paths:
- '.github/workflows/extensive.yml'
jobs:
blackbox:
uses: innmind/github-workflows/.github/workflows/extensive.yml@main