Skip to content
This repository has been archived by the owner on Oct 31, 2024. It is now read-only.

Rename Sequencer to Certificate Producer #35

Merged
merged 3 commits into from
Feb 28, 2024
Merged

Rename Sequencer to Certificate Producer #35

merged 3 commits into from
Feb 28, 2024

Commits on Feb 16, 2024

  1. chore: rename sequencer to certificate producer

    @dvdplm
    dvdplm committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    6574f74 View commit details
    Browse the repository at this point in the history

  2. chore: rename workflow file

    @dvdplm
    dvdplm committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    1391242 View commit details
    Browse the repository at this point in the history

  3. chore: fix wording and typos in readme

    @dvdplm
    dvdplm committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    1c5d3ab View commit details
    Browse the repository at this point in the history