Skip to content
undefined_names

Merge pull request #443 from jnwei/main #964

Sign in to view logs

Merge pull request #443 from jnwei/main

Merge pull request #443 from jnwei/main #964

Triggered via push May 17, 2024 07:50
@jnweijnwei
pushed 3c1fd31
main
Status Success
Total duration 18s
Artifacts –

undefined_names.yml

on: push
undefined_names
10s
undefined_names
Fit to window
Zoom out
Zoom in

Annotations

1 warning
undefined_names
The `python-version` input is not set. The version of Python currently in `PATH` will be used.