Henry Mercer

Square brackets in alert messages are not rendered correctly

1

**Describe the bug** Square brackets in alert messages `[` and `]` are rendered as `\[` and `\]` respectively. **Version** CodeQL extension version: 1.5.10 CodeQL CLI version: 2.7.5 Platform: darwin x64...

Currently the VS Code extension supports viewing the raw results of diagnostics queries, but it can't view the interpreted results of diagnostics queries like it can for alert and path...

Currently the VS Code extension supports viewing the raw results of metric queries, but it can't view the interpreted results of metric queries like it can for alert and path...

Line 42 of `lib/offer.ml` references `Kcas.get_id ()`, however this function has been removed in commit https://github.com/kayceesrk/kcas/commit/d13586b62bb6d5ff91ebddf180b564a1edf395bc to the kcas package. https://github.com/ocamllabs/reagents/blob/69f5babbf731fd193d221fc437275d9d32b8a1d7/lib/offer.ml#L42

Re-enable Swift autobuild checks

2

This PR re-enables the Swift autobuild checks. We should merge it once the macOS tracer issue is fixed. ### Merge / deployment checklist - [x] Confirm this change is backwards...

Autobuild using CodeQL CLI

2

This PR implements autobuilding using the hidden `database autobuild` CLI subcommand. This simplifies the implementation of autobuild, opens the door to sharing more code between the CodeQL Action and third...

Clean up intermediate files to reduce disk usage

2

This PR cleans up some intermediate files that are created during the install, such as archives and the original path of the tools once we've cached them into the toolcache....

Merge releases/v3 into releases/v2

2

Merging b7cec7526 into `releases/v2`. Conductor for this PR is @henrymercer. Contains the following pull requests: - #2273 (@aeisenberg) - #2274 (@aeisenberg) - #2276 (@henrymercer) - #2277 (@henrymercer) - #2279 (@henrymercer)...

The `autobuild` Action is no longer needed or recommended when a build mode is specified. ### Merge / deployment checklist - [ ] Confirm this change is backwards compatible with...

This PR adds the `actions: write` permission to the CodeQL workflow so that the CodeQL workflow can automatically cleanup unused CodeQL TRAP caches. While we're here, we also add a...