[ci] added missing field in workflow (#692)

pull/694/head
Frank Lee 2022-04-07 18:07:15 +08:00 committed by GitHub
parent 0372ed7951
commit dbe8e030fb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 2 deletions

View File

@ -2,9 +2,11 @@ name: Compatibility Test
on:
workflow_dispatch:
version:
inputs:
version:
type: choice
description: which version to test
description: version for testing
default: 'all'
required: true
options:
- all