Skip to content

fix(gate): stop claiming tropical-types publishes the bare Hypatia name #2007

fix(gate): stop claiming tropical-types publishes the bare Hypatia name

fix(gate): stop claiming tropical-types publishes the bare Hypatia name #2007

Triggered via pull request September 20, 2026 22:27
Status Success
Total duration 25m 15s
Artifacts –

codeql.yml

on: pull_request
analyze-js  /  analyze
1m 0s
analyze-js / analyze
analyze-actions  /  analyze
1m 3s
analyze-actions / analyze
Fit to window
Zoom out
Zoom in

Annotations

2 warnings and 2 notices
analyze-js / analyze
Error retrieving diff main...hyperpolymath:fix/header-bare-name-claim: Not Found - https://docs.github.com/rest/commits/commits#compare-two-commits
analyze-actions / analyze
Error retrieving diff main...hyperpolymath:fix/header-bare-name-claim: Not Found - https://docs.github.com/rest/commits/commits#compare-two-commits
analyze-js / analyze
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
analyze-actions / analyze
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"