René's URL Explorer Experiment


Title: Improve type checking of test macros by henrymercer · Pull Request #3873 · github/codeql-action · GitHub

Open Graph Title: Improve type checking of test macros by henrymercer · Pull Request #3873 · github/codeql-action

X Title: Improve type checking of test macros by henrymercer · Pull Request #3873 · github/codeql-action

Description: Actions for running CodeQL analysis. Contribute to github/codeql-action development by creating an account on GitHub.

Open Graph Description: When invoked via test or test.serial, detailed argument types are erased and we lose some type safety. This PR wraps macro invocations in helper functions to ensure each of the arguments to the mac...

X Description: When invoked via test or test.serial, detailed argument types are erased and we lose some type safety. This PR wraps macro invocations in helper functions to ensure each of the arguments to the mac...

Opengraph URL: https://github.com/github/codeql-action/pull/3873

X: @github

direct link

Domain: github.com

route-pattern/_view_fragments/voltron/pull_requests/show/:user_id/:repository/:id/pull_request_layout(.:format)
route-controllervoltron_pull_requests_fragments
route-actionpull_request_layout
fetch-noncev2:2806820a-2ef8-b9d4-f501-cd26c15e3064
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idA2E2:217E54:136BCFF:1C245DE:6A4CDC53
html-safe-noncedc0a8c25cc35f60055874bba9bb81bb1c665e3c4196fb7a9229a10771965a65e
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBMkUyOjIxN0U1NDoxMzZCQ0ZGOjFDMjQ1REU6NkE0Q0RDNTMiLCJ2aXNpdG9yX2lkIjoiMjcyOTIyOTYxMjc0NzY0Mzk4OCIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmacf69eac8b35563c6effb9a4c64ab4587ba0b21b1276eb7220133ce93e2f0bf9bc
hovercard-subject-tagpull_request:3636977624
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///voltron/pull_requests_fragments/pull_request_layout
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/_view_fragments/voltron/pull_requests/show/github/codeql-action/3873/pull_request_layout
twitter:imagehttps://opengraph.githubassets.com/f17eea6a7833f828c81067c93a6b81ede139461357733f5f7049d87ed7563213/github/codeql-action/pull/3873
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/f17eea6a7833f828c81067c93a6b81ede139461357733f5f7049d87ed7563213/github/codeql-action/pull/3873
og:image:altWhen invoked via test or test.serial, detailed argument types are erased and we lose some type safety. This PR wraps macro invocations in helper functions to ensure each of the arguments to the mac...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamehenrymercer
hostnamegithub.com
expected-hostnamegithub.com
None299b43bca6e02ad35197ffeba30d2466846d5fb02ab96fbced5b5e6cec589fb8
turbo-cache-controlno-cache
go-importgithub.com/github/codeql-action git https://github.com/github/codeql-action.git
octolytics-dimension-user_id9919
octolytics-dimension-user_logingithub
octolytics-dimension-repository_id259445878
octolytics-dimension-repository_nwogithub/codeql-action
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id259445878
octolytics-dimension-repository_network_root_nwogithub/codeql-action
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release3eeb74f55ccd8a31bdaec6839577c592bbf7844c
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/github/codeql-action/pull/3873#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgithub%2Fcodeql-action%2Fpull%2F3873
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub Copilot appDirect agents from issue to mergehttps://github.com/features/ai/github-app
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
View all resourceshttps://github.com/resources
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
GitHub Starshttps://stars.github.com
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgithub%2Fcodeql-action%2Fpull%2F3873
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fvoltron%2Fpull_requests_fragments%2Fpull_request_layout&source=header-repo&source_repo=github%2Fcodeql-action
Reloadhttps://github.com/github/codeql-action/pull/3873
Reloadhttps://github.com/github/codeql-action/pull/3873
Reloadhttps://github.com/github/codeql-action/pull/3873
Please reload this pagehttps://github.com/github/codeql-action/pull/3873
github https://github.com/github
codeql-actionhttps://github.com/github/codeql-action
Notifications https://github.com/login?return_to=%2Fgithub%2Fcodeql-action
Fork 470 https://github.com/login?return_to=%2Fgithub%2Fcodeql-action
Star 1.6k https://github.com/login?return_to=%2Fgithub%2Fcodeql-action
Code https://github.com/github/codeql-action
Issues 156 https://github.com/github/codeql-action/issues
Pull requests 27 https://github.com/github/codeql-action/pulls
Actions https://github.com/github/codeql-action/actions
Models https://github.com/github/codeql-action/models
Security and quality 2 https://github.com/github/codeql-action/security
Insights https://github.com/github/codeql-action/pulse
Code https://github.com/github/codeql-action
Issues https://github.com/github/codeql-action/issues
Pull requests https://github.com/github/codeql-action/pulls
Actions https://github.com/github/codeql-action/actions
Models https://github.com/github/codeql-action/models
Security and quality https://github.com/github/codeql-action/security
Insights https://github.com/github/codeql-action/pulse
henrymercerhttps://github.com/henrymercer
mainhttps://github.com/github/codeql-action/tree/main
henrymercer/typed-test-macroshttps://github.com/github/codeql-action/tree/henrymercer/typed-test-macros
Conversationhttps://github.com/github/codeql-action/pull/3873
Commits19 (19)https://github.com/github/codeql-action/pull/3873/commits
Checkshttps://github.com/github/codeql-action/pull/3873/checks
Files changedhttps://github.com/github/codeql-action/pull/3873/files
Improve type checking of test macroshttps://github.com/github/codeql-action/pull/3873#top
henrymercerhttps://github.com/henrymercer
mainhttps://github.com/github/codeql-action/tree/main
henrymercer/typed-test-macroshttps://github.com/github/codeql-action/tree/henrymercer/typed-test-macros
https://github.com/henrymercer
henrymercerhttps://github.com/henrymercer
May 6, 2026https://github.com/github/codeql-action/pull/3873#issue-4391664957
Please reload this pagehttps://github.com/github/codeql-action/pull/3873
henrymercerhttps://github.com/henrymercer
May 6, 2026 14:12https://github.com/github/codeql-action/pull/3873#commits-pushed-bb46cb9
https://github.com/henrymercer
Add typed wrapper for checkOverlayEnablementMacrohttps://github.com/github/codeql-action/pull/3873/commits/bb46cb90663d4e75153b6a6867cc3a69fe43c06f
bb46cb9https://github.com/github/codeql-action/pull/3873/commits/bb46cb90663d4e75153b6a6867cc3a69fe43c06f
https://github.com/henrymercer
Add typed wrapper for parsePacksMacrohttps://github.com/github/codeql-action/pull/3873/commits/c9b4614b7601aedd770634b7f9f12d39fdfc769f
c9b4614https://github.com/github/codeql-action/pull/3873/commits/c9b4614b7601aedd770634b7f9f12d39fdfc769f
https://github.com/henrymercer
Add typed wrapper for parsePacksErrorMacrohttps://github.com/github/codeql-action/pull/3873/commits/5d8e363e206fa1652b42e31dc41aa3eda821f57c
5d8e363https://github.com/github/codeql-action/pull/3873/commits/5d8e363e206fa1652b42e31dc41aa3eda821f57c
https://github.com/henrymercer
Add typed wrapper for invalidPackNameMacrohttps://github.com/github/codeql-action/pull/3873/commits/24249234b114c048ec902572f6b93956c86b2e9c
2424923https://github.com/github/codeql-action/pull/3873/commits/24249234b114c048ec902572f6b93956c86b2e9c
https://github.com/henrymercer
Add typed wrapper for packSpecPrettyPrintingMacrohttps://github.com/github/codeql-action/pull/3873/commits/aa9aa2a684ddfc2c0d6726449a01b10183118a9e
aa9aa2ahttps://github.com/github/codeql-action/pull/3873/commits/aa9aa2a684ddfc2c0d6726449a01b10183118a9e
https://github.com/henrymercer
Add typed wrapper for calculateAugmentationMacrohttps://github.com/github/codeql-action/pull/3873/commits/bfb5926ff3dd64cbe607d40d24b95c26808314fb
bfb5926https://github.com/github/codeql-action/pull/3873/commits/bfb5926ff3dd64cbe607d40d24b95c26808314fb
https://github.com/henrymercer
Add typed wrapper for calculateAugmentationErrorMacrohttps://github.com/github/codeql-action/pull/3873/commits/2a050951fb1b08523d6cc5bbe8a8beb1a0ce35b8
2a05095https://github.com/github/codeql-action/pull/3873/commits/2a050951fb1b08523d6cc5bbe8a8beb1a0ce35b8
https://github.com/henrymercer
Add typed wrapper for sendFailedStatusReportMacrohttps://github.com/github/codeql-action/pull/3873/commits/c8ef3e4f92125d1864d4dc3dd65305345ff11292
c8ef3e4https://github.com/github/codeql-action/pull/3873/commits/c8ef3e4f92125d1864d4dc3dd65305345ff11292
https://github.com/henrymercer
Add typed wrapper for getCredentialsMacrohttps://github.com/github/codeql-action/pull/3873/commits/198be5a2037726a4aa67138094bd6966a51de60b
198be5ahttps://github.com/github/codeql-action/pull/3873/commits/198be5a2037726a4aa67138094bd6966a51de60b
https://github.com/henrymercer
Add typed wrapper for wrapFailureMacrohttps://github.com/github/codeql-action/pull/3873/commits/2b77d7c7f6775c3d0199ba466e0e8d37257887ee
2b77d7chttps://github.com/github/codeql-action/pull/3873/commits/2b77d7c7f6775c3d0199ba466e0e8d37257887ee
https://github.com/henrymercer
Add typed wrapper for createInitWithConfigStatusReportMacrohttps://github.com/github/codeql-action/pull/3873/commits/9fd1b43d7e4f2b83abf63cfa8fdb22408c14d4f1
9fd1b43https://github.com/github/codeql-action/pull/3873/commits/9fd1b43d7e4f2b83abf63cfa8fdb22408c14d4f1
https://github.com/henrymercer
Add typed wrapper for downloadOverlayBaseDatabaseFromCacheMacrohttps://github.com/github/codeql-action/pull/3873/commits/356809c0625b1b35326f29c443608b3ac344502c
356809chttps://github.com/github/codeql-action/pull/3873/commits/356809c0625b1b35326f29c443608b3ac344502c
https://github.com/henrymercer
Add typed wrapper for checkPacksForOverlayCompatibilityMacrohttps://github.com/github/codeql-action/pull/3873/commits/44e4709557bdf55496f5769312db423f4fc3ad6c
44e4709https://github.com/github/codeql-action/pull/3873/commits/44e4709557bdf55496f5769312db423f4fc3ad6c
https://github.com/henrymercer
Add typed wrapper for postProcessAndUploadSarifMacrohttps://github.com/github/codeql-action/pull/3873/commits/67e427bc914b82735e7b6404f059b6f1ad999911
67e427bhttps://github.com/github/codeql-action/pull/3873/commits/67e427bc914b82735e7b6404f059b6f1ad999911
https://github.com/henrymercer
Add typed wrapper for shouldPerformDiffInformedAnalysisMacrohttps://github.com/github/codeql-action/pull/3873/commits/51cc9151f072026629d82edc2069d3d098e0a74a
51cc915https://github.com/github/codeql-action/pull/3873/commits/51cc9151f072026629d82edc2069d3d098e0a74a
https://github.com/henrymercer
Add typed wrapper for injectedConfigMacrohttps://github.com/github/codeql-action/pull/3873/commits/cd00cbb2f0b809e5154bb44aaf3345c4ec3c31d5
cd00cbbhttps://github.com/github/codeql-action/pull/3873/commits/cd00cbb2f0b809e5154bb44aaf3345c4ec3c31d5
https://github.com/henrymercer
Add typed wrapper for toolcacheInputFallbackMacrohttps://github.com/github/codeql-action/pull/3873/commits/231b9740bce514e9feb05e88f79e3882593934d5
231b974https://github.com/github/codeql-action/pull/3873/commits/231b9740bce514e9feb05e88f79e3882593934d5
https://github.com/henrymercer
Add typed wrapper for skippedUploadMacrohttps://github.com/github/codeql-action/pull/3873/commits/4104e6815033c1d93a49793dfa1dd28344a343cf
4104e68https://github.com/github/codeql-action/pull/3873/commits/4104e6815033c1d93a49793dfa1dd28344a343cf
https://github.com/apps/copilot-pull-request-reviewer
Copilothttps://github.com/apps/copilot-pull-request-reviewer
May 6, 2026 13:21https://github.com/github/codeql-action/pull/3873#event-25219829760
https://github.com/henrymercer
henrymercerhttps://github.com/henrymercer
code ownerhttps://github.com/github/codeql-action/blob/4b7faf0b3d11f905756f4cd88312280713612b03/CODEOWNERS#L1
May 6, 2026 13:21https://github.com/github/codeql-action/pull/3873#event-25219829829
https://github.com/apps/github-actions
github-actionshttps://github.com/apps/github-actions
size/XL https://github.com/github/codeql-action/issues?q=state%3Aopen%20label%3Asize%2FXL
May 6, 2026https://github.com/github/codeql-action/pull/3873#event-25219846271
started reviewinghttps://github.com/github/codeql-action/sessions/3e1f9759-15b3-4f6e-bbce-38cf5bdb8f3e
henrymercerhttps://github.com/henrymercer
May 6, 2026 13:21https://github.com/github/codeql-action/pull/3873#event-25219860581
View session https://github.com/github/codeql-action/sessions/3e1f9759-15b3-4f6e-bbce-38cf5bdb8f3e
https://github.com/apps/copilot-pull-request-reviewer
Copilothttps://github.com/apps/copilot-pull-request-reviewer
May 6, 2026 https://github.com/github/codeql-action/pull/3873#pullrequestreview-4236415021
View reviewed changes https://github.com/github/codeql-action/pull/3873/files/4104e6815033c1d93a49793dfa1dd28344a343cf
Copilothttps://github.com/apps/copilot-pull-request-reviewer
https://github.com/github/codeql-action/pull/3873#pullrequestreview-4236415021
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/github/codeql-action/pull/3873
src/codeql.test.tshttps://github.com/github/codeql-action/pull/3873/files/4104e6815033c1d93a49793dfa1dd28344a343cf#diff-a59b656ff6cb8e9e4da88f2f927636ffc66ffadca08a86eb1024f9c2690d8ad9
Please reload this pagehttps://github.com/github/codeql-action/pull/3873
https://github.com/henrymercer
Improve testInjectedConfig typehttps://github.com/github/codeql-action/pull/3873/commits/c3b2b04d5c1d372a094d377efb725529cefe1392
c3b2b04https://github.com/github/codeql-action/pull/3873/commits/c3b2b04d5c1d372a094d377efb725529cefe1392
https://github.com/henrymercer
henrymercerhttps://github.com/henrymercer
May 6, 2026https://github.com/github/codeql-action/pull/3873#event-25220424517
https://github.com/henrymercer
henrymercerhttps://github.com/henrymercer
May 6, 2026 13:35https://github.com/github/codeql-action/pull/3873#event-25220428378
https://github.com/mbg
mbghttps://github.com/mbg
May 7, 2026 https://github.com/github/codeql-action/pull/3873#ref-pullrequest-4399353267
Add more strongly typed wrapper around test.macro #3883 https://github.com/github/codeql-action/pull/3883
https://github.co/hiddenchars
https://github.com/github/codeql-action/pull/{{ revealButtonHref }}
Sign up for freehttps://github.com/join?source=comment-repo
Sign in to commenthttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgithub%2Fcodeql-action%2Fpull%2F3873
Copilot code review https://github.com/apps/copilot-pull-request-reviewer
Copilot https://github.com/apps/copilot-pull-request-reviewer
https://github.com/github/codeql-action/pull/3873/files/4104e6815033c1d93a49793dfa1dd28344a343cf
size/XL https://github.com/github/codeql-action/issues?q=state%3Aopen%20label%3Asize%2FXL
Please reload this pagehttps://github.com/github/codeql-action/pull/3873
https://github.com/henrymercer
https://github.com/apps/copilot-pull-request-reviewer
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.