René's URL Explorer Experiment


Title: Add GitHub Actions workflow to run all proof scripts by Copilot · Pull Request #115 · javaevolved/javaevolved.github.io · GitHub

Open Graph Title: Add GitHub Actions workflow to run all proof scripts by Copilot · Pull Request #115 · javaevolved/javaevolved.github.io

X Title: Add GitHub Actions workflow to run all proof scripts by Copilot · Pull Request #115 · javaevolved/javaevolved.github.io

Description: 105 proof scripts in proof/ had no automated runner — they could silently break with no CI signal. Changes .github/workflows/proof.yml — new workflow that: Triggers on push/PR when proof/** changes, plus workflow_dispatch Sets up Java 25 + JBang, then loops over every proof/**/*.java in sorted order Tracks per-script pass/fail, prints ✅/❌ inline, and exits non-zero if any script fails with a summary of failures Original prompt This section details on the original issue you should resolve [Feature] Automate proof script ### Describe the feature We now have proof but we don't have a way to run all of them to verify all of them work. Why would this be useful? No response Alternatives considered No response Comments on the Issue (you are @copilot in this section) Fixes #112 💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

Open Graph Description: 105 proof scripts in proof/ had no automated runner — they could silently break with no CI signal. Changes .github/workflows/proof.yml — new workflow that: Triggers on push/PR when proof/** chang...

X Description: 105 proof scripts in proof/ had no automated runner — they could silently break with no CI signal. Changes .github/workflows/proof.yml — new workflow that: Triggers on push/PR when proof/** chang...

Opengraph URL: https://github.com/javaevolved/javaevolved.github.io/pull/115

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:d237f12b-66b3-2773-247e-f29bb3c37729
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idDC7A:1C181D:60C019:894064:6A624129
html-safe-nonce26d1ee29dae74dddfd43d4fb003ee7c4c5dd2e8bc7828f1a1e7705a4c64d3345
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJEQzdBOjFDMTgxRDo2MEMwMTk6ODk0MDY0OjZBNjI0MTI5IiwidmlzaXRvcl9pZCI6Ijk2NjgzNjA3ODI4NzkyOTY0MSIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac74b3eef6ec983d47cd72a21e106c23c3b4d8c0d945449f8755047ad8cfa52730
hovercard-subject-tagpull_request:3337901622
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///pull_requests/show/files
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/javaevolved/javaevolved.github.io/pull/115/files
twitter:imagehttps://avatars.githubusercontent.com/in/1143301?s=400&v=4
twitter:cardsummary_large_image
og:imagehttps://avatars.githubusercontent.com/in/1143301?s=400&v=4
og:image:alt105 proof scripts in proof/ had no automated runner — they could silently break with no CI signal. Changes .github/workflows/proof.yml — new workflow that: Triggers on push/PR when proof/** chang...
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None5d6ba65d73ecc4e3394fe318d2b2f98e6f8eed4878b5421b938e20d30bde267b
turbo-cache-controlno-preview
diff-viewunified
go-importgithub.com/javaevolved/javaevolved.github.io git https://github.com/javaevolved/javaevolved.github.io.git
octolytics-dimension-user_id261976795
octolytics-dimension-user_loginjavaevolved
octolytics-dimension-repository_id1159421298
octolytics-dimension-repository_nwojavaevolved/javaevolved.github.io
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id1159421298
octolytics-dimension-repository_network_root_nwojavaevolved/javaevolved.github.io
turbo-body-classeslogged-out env-production page-responsive
disable-turbotrue
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release2dadc56fd5989b76a8ae7304e3aa56d0b485e5dc
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/javaevolved/javaevolved.github.io/pull/115/files#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fjavaevolved%2Fjavaevolved.github.io%2Fpull%2F115%2Ffiles
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
Code QualityEnforce quality at mergehttps://github.com/features/code-quality
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/open-source/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/open-source/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/enterprise/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%2Fjavaevolved%2Fjavaevolved.github.io%2Fpull%2F115%2Ffiles
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%2Fpull_requests%2Fshow%2Ffiles&source=header-repo&source_repo=javaevolved%2Fjavaevolved.github.io
Reloadhttps://github.com/javaevolved/javaevolved.github.io/pull/115/files
Reloadhttps://github.com/javaevolved/javaevolved.github.io/pull/115/files
Reloadhttps://github.com/javaevolved/javaevolved.github.io/pull/115/files
Please reload this pagehttps://github.com/javaevolved/javaevolved.github.io/pull/115/files
javaevolved https://github.com/javaevolved
javaevolved.github.iohttps://github.com/javaevolved/javaevolved.github.io
Notifications https://github.com/login?return_to=%2Fjavaevolved%2Fjavaevolved.github.io
Fork 25 https://github.com/login?return_to=%2Fjavaevolved%2Fjavaevolved.github.io
Star 375 https://github.com/login?return_to=%2Fjavaevolved%2Fjavaevolved.github.io
Code https://github.com/javaevolved/javaevolved.github.io
Issues 2 https://github.com/javaevolved/javaevolved.github.io/issues
Pull requests 1 https://github.com/javaevolved/javaevolved.github.io/pulls
Discussions https://github.com/javaevolved/javaevolved.github.io/discussions
Actions https://github.com/javaevolved/javaevolved.github.io/actions
Projects https://github.com/javaevolved/javaevolved.github.io/projects
Security and quality 0 https://github.com/javaevolved/javaevolved.github.io/security
Insights https://github.com/javaevolved/javaevolved.github.io/pulse
Code https://github.com/javaevolved/javaevolved.github.io
Issues https://github.com/javaevolved/javaevolved.github.io/issues
Pull requests https://github.com/javaevolved/javaevolved.github.io/pulls
Discussions https://github.com/javaevolved/javaevolved.github.io/discussions
Actions https://github.com/javaevolved/javaevolved.github.io/actions
Projects https://github.com/javaevolved/javaevolved.github.io/projects
Security and quality https://github.com/javaevolved/javaevolved.github.io/security
Insights https://github.com/javaevolved/javaevolved.github.io/pulse
Sign up for GitHub https://github.com/signup?return_to=%2Fjavaevolved%2Fjavaevolved.github.io%2Fissues%2Fnew%2Fchoose
terms of servicehttps://docs.github.com/terms
privacy statementhttps://docs.github.com/privacy
Sign inhttps://github.com/login?return_to=%2Fjavaevolved%2Fjavaevolved.github.io%2Fissues%2Fnew%2Fchoose
brunoborgeshttps://github.com/brunoborges
mainhttps://github.com/javaevolved/javaevolved.github.io/tree/main
copilot/automate-proof-scripthttps://github.com/javaevolved/javaevolved.github.io/tree/copilot/automate-proof-script
Conversation 0 https://github.com/javaevolved/javaevolved.github.io/pull/115
Commits 2 https://github.com/javaevolved/javaevolved.github.io/pull/115/commits
Checks 0 https://github.com/javaevolved/javaevolved.github.io/pull/115/checks
Files changed https://github.com/javaevolved/javaevolved.github.io/pull/115/files
Please reload this pagehttps://github.com/javaevolved/javaevolved.github.io/pull/115/files
Add GitHub Actions workflow to run all proof scripts https://github.com/javaevolved/javaevolved.github.io/pull/115/files#top
Show all changes 2 commits https://github.com/javaevolved/javaevolved.github.io/pull/115/files
c03f40a Initial plan Copilot Feb 28, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/115/commits/c03f40af14d7cc34d0cabfb0d807ca50d7bf8b81
a2f03f6 Add proof.yml workflow to automate running all proof scripts Copilot Feb 28, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/115/commits/a2f03f6dcb1b1145376cb1d6de5a258176aabacb
Clear filters https://github.com/javaevolved/javaevolved.github.io/pull/115/files
Please reload this pagehttps://github.com/javaevolved/javaevolved.github.io/pull/115/files
Please reload this pagehttps://github.com/javaevolved/javaevolved.github.io/pull/115/files
.github/workflows/proof.ymlhttps://github.com/javaevolved/javaevolved.github.io/pull/115/files#diff-582175f7e10662448aec72c93e8dcebe9ae2ab16502ede1c9414ab917449ff26
View file https://github.com/javaevolved/javaevolved.github.io/blob/a2f03f6dcb1b1145376cb1d6de5a258176aabacb/.github/workflows/proof.yml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/javaevolved/javaevolved.github.io/pull/115/{{ revealButtonHref }}
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.