PR #11721 Move tvm pipeline to Github Actions

Move tvm pipeline to Github Actions #11721

snnn merged 8 commits into master from snnn/tvm

snnn force pushed from 4338b28d to f6ace286 3 years ago

snnn assigned

snnn 3 years ago

snnn marked this pull request as draft 3 years ago

KJlaccHoeUM9l commented on 2022-06-06

update

7e4f9088

update

3a229aea

snnn force pushed from dc761854 to 3a229aea 3 years ago

snnn marked this pull request as ready for review 3 years ago

snnn unassigned

snnn 3 years ago

update

d977a20c

snnn marked this pull request as draft 3 years ago

update

015ad020

update

de5e2c2d

update

d665da30

update

b80296f7

snnn changed the title ~~Move tvm pipeline to a new pool~~ Move tvm pipeline to Github Actions 3 years ago

snnn marked this pull request as ready for review 3 years ago

Update linux.yml

dcf528e5

KJlaccHoeUM9l approved these changes on 2022-06-08

chilo-ms approved these changes on 2022-06-13

snnn merged a93ebd25 into master 3 years ago

snnn deleted the snnn/tvm branch 3 years ago

Reviewers

chilo-ms

KJlaccHoeUM9l

Assignees

No one assigned

Labels

None yet

Milestone

No milestone