Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
bernardladenthin
streambuffer
Repository navigation
Code
Issues
Pull requests
Actions
Projects
Wiki
Security and quality
Insights
More
items
Actions: bernardladenthin/streambuffer
Actions
All workflows
Workflows
Publish
Publish
Automatic Dependency Submission
Automatic Dependency Submission
Claude Code
Claude Code
Claude Code Review
Claude Code Review
CodeQL
CodeQL
CodeQL
CodeQL
Dependabot Updates
Dependabot Updates
Formal Verification
Formal Verification
OSV-Scanner
OSV-Scanner
REUSE Compliance Check
REUSE Compliance Check
Show more workflows...
Management
Caches
Deployments
CodeQL
CodeQL
Actions
Loading...
Loading
Sorry, something went wrong.
Uh oh!
There was an error while loading.
Please reload this page
.
will be ignored since log searching is not yet available
Show workflow options
Create status badge
Create status badge
Loading
Uh oh!
There was an error while loading.
Please reload this page
.
codeql.yml
will be ignored since log searching is not yet available
327 workflow runs
327 workflow runs
Event
Filter by Event
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching events.
Status
Filter by Status
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching statuses.
Branch
Filter by Branch
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching branches.
Actor
Filter by Actor
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching users.
Merge pull request #179 from bernardladenthin/claude/hopeful-pascal-9…
CodeQL
#327:
Commit
f0b27a9
pushed by
bernardladenthin
1m 19s
main
main
1m 19s
View workflow file
build: spotbugs-maven-plugin 4.10.5.0
CodeQL
#326:
Pull request
#179
opened by
bernardladenthin
1m 31s
claude/hopeful-pascal-9jlbqb
claude/hopeful-pascal-9jlbqb
1m 31s
View #179
View workflow file
Merge pull request #178 from bernardladenthin/claude/hopeful-pascal-9…
CodeQL
#325:
Commit
8b9bd89
pushed by
bernardladenthin
3m 54s
main
main
3m 54s
View workflow file
ci: three guards on the snapshot prune, and why it is asset by asset
CodeQL
#324:
Pull request
#178
opened by
bernardladenthin
1m 37s
claude/hopeful-pascal-9jlbqb
claude/hopeful-pascal-9jlbqb
1m 37s
View #178
View workflow file
Merge pull request #177 from bernardladenthin/claude/hopeful-pascal-9…
CodeQL
#323:
Commit
6866828
pushed by
bernardladenthin
1m 42s
main
main
1m 42s
View workflow file
Attach the pom to the GitHub releases and prune the snapshot pre-release
CodeQL
#322:
Pull request
#177
opened by
bernardladenthin
1m 14s
claude/hopeful-pascal-9jlbqb
claude/hopeful-pascal-9jlbqb
1m 14s
View #177
View workflow file
Merge pull request #176 from bernardladenthin/claude/hopeful-pascal-9…
CodeQL
#321:
Commit
5ab7ab8
pushed by
bernardladenthin
1m 38s
main
main
1m 38s
View workflow file
Build tooling in step with the siblings, CPU info in the test and formal-verification jobs
CodeQL
#320:
Pull request
#176
opened by
bernardladenthin
1m 34s
claude/hopeful-pascal-9jlbqb
claude/hopeful-pascal-9jlbqb
1m 34s
View #176
View workflow file
CodeQL
CodeQL
#319:
Scheduled
1m 36s
main
main
1m 36s
View workflow file
Merge pull request #175 from bernardladenthin/claude/hopeful-pascal-9…
CodeQL
#318:
Commit
ccb1006
pushed by
bernardladenthin
1m 53s
main
main
1m 53s
View workflow file
Share the java-tdd-guide pointer file across the four repositories (4-repo sync)
CodeQL
#317:
Pull request
#175
opened by
bernardladenthin
4m 6s
claude/hopeful-pascal-9jlbqb
claude/hopeful-pascal-9jlbqb
4m 6s
View #175
View workflow file
Merge pull request #174 from bernardladenthin/claude/hopeful-pascal-9…
CodeQL
#316:
Commit
9ae3ad5
pushed by
bernardladenthin
3m 38s
main
main
3m 38s
View workflow file
buildcheck tests: write fixtures with newline="" so the suite passes on a CRLF checkout (4-repo sync)
CodeQL
#315:
Pull request
#174
opened by
bernardladenthin
1m 27s
claude/hopeful-pascal-9jlbqb
claude/hopeful-pascal-9jlbqb
1m 27s
View #174
View workflow file
Merge pull request #173 from bernardladenthin/claude/hopeful-pascal-9…
CodeQL
#314:
Commit
2848d87
pushed by
bernardladenthin
1m 18s
main
main
1m 18s
View workflow file
CI: shared-files test no longer depends on GITHUB_REPOSITORY
CodeQL
#313:
Pull request
#173
opened by
bernardladenthin
2m 13s
claude/hopeful-pascal-9jlbqb
claude/hopeful-pascal-9jlbqb
2m 13s
View #173
View workflow file
Merge pull request #172 from bernardladenthin/claude/hopeful-pascal-9…
CodeQL
#312:
Commit
4d96491
pushed by
bernardladenthin
1m 25s
main
main
1m 25s
View workflow file
CI: Gradle 9.8.0 -> 9.8.1
CodeQL
#311:
Pull request
#172
opened by
bernardladenthin
1m 38s
claude/hopeful-pascal-9jlbqb
claude/hopeful-pascal-9jlbqb
1m 38s
View #172
View workflow file
Merge pull request #171 from bernardladenthin/claude/hopeful-pascal-9…
CodeQL
#310:
Commit
2408ec6
pushed by
bernardladenthin
3m 4s
main
main
3m 4s
View workflow file
CI: pass -Dmaven.repository.credentialScope=id to every deploy (Maven 3.10)
CodeQL
#309:
Pull request
#171
opened by
bernardladenthin
2m 11s
claude/hopeful-pascal-9jlbqb
claude/hopeful-pascal-9jlbqb
2m 11s
View #171
View workflow file
Merge pull request #170 from bernardladenthin/docs/link-openjml-1012
CodeQL
#308:
Commit
2235cb4
pushed by
bernardladenthin
1m 38s
main
main
1m 38s
View workflow file
docs(todo): link OpenJML/OpenJML#1012
CodeQL
#307:
Pull request
#170
opened by
bernardladenthin
2m 3s
docs/link-openjml-1012
docs/link-openjml-1012
2m 3s
View #170
View workflow file
Merge pull request #169 from bernardladenthin/chore/openjml-21.0.28
CodeQL
#306:
Commit
2c897df
pushed by
bernardladenthin
1m 37s
main
main
1m 37s
View workflow file
chore(formal-verification): OpenJML 21.0.28
CodeQL
#305:
Pull request
#169
opened by
bernardladenthin
1m 37s
chore/openjml-21.0.28
chore/openjml-21.0.28
1m 37s
View #169
View workflow file
Merge pull request #168 from bernardladenthin/claude/hopeful-pascal-9…
CodeQL
#304:
Commit
755d3dc
pushed by
bernardladenthin
1m 37s
main
main
1m 37s
View workflow file
Update palantir-java-format to 2.102.0
CodeQL
#303:
Pull request
#168
opened by
bernardladenthin
1m 42s
claude/hopeful-pascal-9jlbqb
claude/hopeful-pascal-9jlbqb
1m 42s
View #168
View workflow file
Previous
1
2
3
4
5
…
13
14
Next
You can’t perform that action at this time.