Skip to content

Use Github Actions PR pipeline in 4.2.x #8715

New issue
New issue
Closed
Closed
Use Github Actions PR pipeline in 4.2.x#8715
Assignees
elliedori
Labels
in: buildAn issue in the buildtype: enhancementA general enhancement
Milestone
4.2.18
@elliedori

Description

@elliedori
elliedori
opened on Jun 17, 2020

Switch from Travis to Github Actions workflow for PRs

Original PR to master: #8680

Metadata

Metadata

Assignees

Labels

in: buildAn issue in the buildtype: enhancementA general enhancement

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions