Skip to content
This repository has been archived by the owner on Dec 9, 2023. It is now read-only.

Switch to use GitHub Actions instead of Travis, update analysis options #67

Merged
merged 1 commit into from
Aug 31, 2021

Commits on Aug 31, 2021

  1. Configuration menu
    Copy the full SHA
    08dced3 View commit details
    Browse the repository at this point in the history