fix github script failure (#20006)

* yaml

* pub

* redo

* let's comment

* now action

* newly

* code name

* build

* ready

* remove submodule

* build

* modify name

* fix

* rephrase

* trigger when PR is merged

* fix CI failure
This commit is contained in:
flywind
2022-07-12 09:05:50 +08:00
committed by GitHub
parent cf1c149366
commit d0bae989d6

View File

@@ -1,13 +1,13 @@
name: Tracking orc-booting compiler memory usage
on:
push:
branches:
- devel
pull_request:
types: [closed]
jobs:
build:
if: github.event.pull_request.merged == true
strategy:
fail-fast: false
matrix: