Skip to content

build: move CI to GitHub Actions#323

Closed
mmarchini wants to merge 2 commits into
masterfrom
github-actions-ci
Closed

build: move CI to GitHub Actions#323
mmarchini wants to merge 2 commits into
masterfrom
github-actions-ci

build: move CI to GitHub Actions

6c82b1e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs