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

GitHub release #28

Merged
merged 5 commits into from
Mar 21, 2023
Merged

GitHub release #28

merged 5 commits into from
Mar 21, 2023

Commits on Mar 20, 2023

  1. read-target-coverage: move to scripts

    @airwoodix
    airwoodix committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    b7b88cd View commit details
    Browse the repository at this point in the history

  2. workflows: automatic github release

    @airwoodix
    airwoodix committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    0fe7afb View commit details
    Browse the repository at this point in the history

  3. changelog: add entry for #28

    @airwoodix
    airwoodix committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    2501d47 View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2023

  1. Merge remote-tracking branch 'origin/master' into github-release

    @airwoodix
    airwoodix committed Mar 21, 2023
    Configuration menu
    Copy the full SHA
    110bfb7 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into github-release

    @airwoodix
    airwoodix committed Mar 21, 2023
    Configuration menu
    Copy the full SHA
    46c8976 View commit details
    Browse the repository at this point in the history