Skip to content

Switch from travis-ci to GitHub workflow. - #185

Merged
davidlehn merged 10 commits into
masterfrom
add-github-workflow
Nov 14, 2025
Merged

Switch from travis-ci to GitHub workflow.#185
davidlehn merged 10 commits into
masterfrom
add-github-workflow

Fix workflow issues reported by zizmor.

5e13b98
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error

The logs for this run have expired and are no longer available.