Skip to content

Port CI to GitHub Actions and miscellaneous maintenance work #1

Port CI to GitHub Actions and miscellaneous maintenance work

Port CI to GitHub Actions and miscellaneous maintenance work #1

Triggered via pull request October 1, 2023 16:03
Status Success
Total duration 1m 11s
Artifacts

ci.yaml

on: pull_request
Matrix: lint
Matrix: test
Fit to window
Zoom out
Zoom in