Skip to content
e7d4215894
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?

Latest commit

These warnings refer to a hack that was added to the CLI in
https://github.com/github/semmle-code/pull/39335

They can be removed again once the CLI has a more principled way for
the CLI to recognize that it's being invoked by the runner/action.
e7d4215

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
March 18, 2021 09:40
September 14, 2020 10:44
November 20, 2020 11:00
September 14, 2020 10:44
September 14, 2020 10:44
April 23, 2021 10:01
May 5, 2021 12:30
March 18, 2021 09:40