mirror of
https://github.com/godotengine/godot.git
synced 2025-10-19 16:03:29 +00:00
CI: Remove now unused godot-api-dump action
Its use was removed in b8480ffa21
.
This commit is contained in:
parent
1f787b63a5
commit
1377b91ead
1 changed files with 0 additions and 25 deletions
25
.github/actions/godot-api-dump/action.yml
vendored
25
.github/actions/godot-api-dump/action.yml
vendored
|
@ -1,25 +0,0 @@
|
|||
name: Dump Godot API
|
||||
description: Dump Godot API for GDExtension
|
||||
|
||||
inputs:
|
||||
bin:
|
||||
description: The path to the Godot executable
|
||||
required: true
|
||||
|
||||
runs:
|
||||
using: composite
|
||||
steps:
|
||||
# Dump GDExtension interface and API
|
||||
- name: Dump GDExtension interface and API for godot-cpp build
|
||||
shell: sh
|
||||
run: |
|
||||
${{ inputs.bin }} --headless --dump-gdextension-interface --dump-extension-api
|
||||
mkdir godot-api
|
||||
cp -f gdextension_interface.h godot-api/
|
||||
cp -f extension_api.json godot-api/
|
||||
|
||||
- name: Upload API dump
|
||||
uses: ./.github/actions/upload-artifact
|
||||
with:
|
||||
name: godot-api-dump
|
||||
path: ./godot-api/*
|
Loading…
Add table
Add a link
Reference in a new issue