Skip to content

Add CI #3

Open
Open
Add CI#3
Assignees
vmihalko
Labels
enhancementNew feature or request

Description

@mchalupa
mchalupa
opened on Jun 17, 2019

The config should be similar to dg, so it should be quite straightforward.

Activity

  1. mchalupa
    added
    enhancementNew feature or request
    on Jun 17, 2019
  2. lzaoral
    self-assigned this
    on May 16, 2022
  3. lzaoral
    added a commit that references this issue on Dec 22, 2022

    CI: add Github Actions workflows

    41b1622
  4. lzaoral
    assigned
    vmihalko
    and unassigned
    lzaoral
    on Feb 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

enhancementNew feature or request

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions