Skip to content

Design: Error-Lang as a Trope IR front end (trope-particularity integration) #83

Design: Error-Lang as a Trope IR front end (trope-particularity integration)

Design: Error-Lang as a Trope IR front end (trope-particularity integration) #83

Triggered via pull request June 23, 2026 20:56
Status Success
Total duration 1m 13s
Artifacts

codeql.yml

on: pull_request
Matrix: CodeQL Analysis
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
CodeQL Analysis (javascript-typescript)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11, github/codeql-action/analyze@662472033e021d55d94146f66f6058822b0b39fd, github/codeql-action/autobuild@662472033e021d55d94146f66f6058822b0b39fd, github/codeql-action/init@662472033e021d55d94146f66f6058822b0b39fd. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
CodeQL Analysis (javascript-typescript)
Failed to restore: Cache service responded with 400