Update license headers · ethz-asl/terrain-navigation@8ecefd0

Triggered via pull request November 13, 2023 07:39

opened #22

pr-update-license

Status Success

Total duration 4m 47s

Artifacts –

build_test.yml

on: pull_request

Matrix: build

1 error and 2 warnings

ambiguous argument 'HEAD': unknown revision or path not in the working tree.

Unexpected input(s) 'github-token', valid inputs are ['repository', 'ref', 'token', 'clean', 'submodules', 'lfs', 'fetch-depth', 'path']

Unable to run "git clean -ffdx" and "git reset --hard HEAD" successfully, delete source folder instead.