Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Feb 28, 2026

• Fix proof workflow: replace ((var++)) with safe arithmetic to avoid bash -e exit

  Show description for 5f0512e
  

  Copilot

  and

  brunoborges

  committed
  5f0512e

  Copy full SHA for 5f0512e

• Add proof.yml workflow to automate running all proof scripts

  Show description for a2f03f6
  

  Copilot

  and

  brunoborges

  committed
  a2f03f6

  Copy full SHA for a2f03f6

Commits on Feb 26, 2026

• Add feature request issue template

  Show description for 557e64e
  

  brunoborges

  and

  Copilot

  committed
  557e64e

  Copy full SHA for 557e64e

• Add issue template chooser config

  Show description for 45fef80
  

  brunoborges

  and

  Copilot

  committed
  45fef80

  Copy full SHA for 45fef80

• Change category from dropdown to input for URL pre-fill support

  Show description for 70c2d7a
  

  brunoborges

  and

  Copilot

  committed
  70c2d7a

  Copy full SHA for 70c2d7a

• Add code issue template and link Contribute button to it

  Show description for e909e9f
  

  brunoborges

  and

  Copilot

  committed
  e909e9f

  Copy full SHA for e909e9f

• Clarify description for affected area in translation issue

  Show description for d57685c
  brunoborges

  authored
  d57685c

  Copy full SHA for d57685c

• Fix translation issue template to support URL pre-fill

  Show description for 4f9d217
  

  brunoborges

  and

  Copilot

  committed
  4f9d217

  Copy full SHA for 4f9d217

• Add Contribute dropdown to detail pages

  Show description for 2843133
  

  brunoborges

  and

  Copilot

  committed
  2843133

  Copy full SHA for 2843133

• upgrade of agentic workflows

  brunoborges

  committed
  5a51e5c

  Copy full SHA for 5a51e5c

• docs: update copilot-instructions.md with i18n and enterprise category

  Show description for d61cbbf
  

  brunoborges

  and

  Copilot

  committed
  d61cbbf

  Copy full SHA for d61cbbf

• delete unused workflows

  brunoborges

  committed
  d5e6bf5

  Copy full SHA for d5e6bf5

• Fix deploy workflow path triggers for YAML content and translations

  Show description for 4ee7235
  

  brunoborges

  and

  Copilot

  committed
  4ee7235

  Copy full SHA for 4ee7235

Commits on Feb 20, 2026

• fix compilot instruction

  brunoborges

  committed
  052349a

  Copy full SHA for 052349a

Commits on Feb 19, 2026

• Add /new-ideas agentic workflow with compiled lock file

  Show description for cb512c8
  

  Copilot

  and

  brunoborges

  committed
  cb512c8

  Copy full SHA for cb512c8

• Add Copilot agentic workflows and VS Code configuration

  Show description for 16e76ab
  

  brunoborges

  and

  Copilot

  committed
  16e76ab

  Copy full SHA for 16e76ab

• Add agentic workflow daily-repo-status

  brunoborges

  committed
  8b5332f

  Copy full SHA for 8b5332f

Commits on Feb 18, 2026

• Run CI cold-start benchmark on a separate fresh runner

  Show description for 3e7edc0
  

  brunoborges

  and

  Copilot

  committed
  3e7edc0

  Copy full SHA for 3e7edc0

• Add Phase 3: CI cold-start benchmark (no caches)

  Show description for bba428c
  

  brunoborges

  and

  Copilot

  committed
  bba428c

  Copy full SHA for bba428c

• Restructure benchmark into training/build cost vs steady-state execution

  Show description for 83336d5
  

  brunoborges

  and

  Copilot

  committed
  83336d5

  Copy full SHA for 83336d5

• Add cross-platform benchmark workflow (manual trigger)

  Show description for 5b9a1ed
  

  brunoborges

  and

  Copilot

  committed
  5b9a1ed

  Copy full SHA for 5b9a1ed

• Simplify workflows: remove composite action, fallback to JBang on cache miss

  Show description for 9d3a9ad
  

  brunoborges

  and

  Copilot

  committed
  9d3a9ad

  Copy full SHA for 9d3a9ad

• Extract reusable build-generator action and update all actions to latest

  Show description for 028d5e0
  

  brunoborges

  and

  Copilot

  committed
  028d5e0

  Copy full SHA for 028d5e0

• Use actions cache for JAR and AOT instead of committing to git

  Show description for f06c8b3
  

  brunoborges

  and

  Copilot

  committed
  f06c8b3

  Copy full SHA for f06c8b3

• Update workflow to trigger on changes to build-generator.yml

  brunoborges

  authored
  4d7c214

  Copy full SHA for 4d7c214

• Enable AOT cache in build-generator and use it in deploy workflow

  Show description for 3347ec4
  

  brunoborges

  and

  Copilot

  committed
  3347ec4

  Copy full SHA for 3347ec4

Commits on Feb 17, 2026

• Add Related Documentation section with links to Javadoc and Oracle docs

  Show description for 629715c
  

  brunoborges

  and

  Copilot

  committed
  629715c

  Copy full SHA for 629715c

• Replace Python server with JDK's jwebserver

  Show description for deafa27
  

  Copilot

  and

  brunoborges

  committed
  deafa27

  Copy full SHA for deafa27

• Templatize index.html — auto-generate preview cards from JSON

  Show description for eb18787
  

  brunoborges

  and

  Copilot

  committed
  eb18787

  Copy full SHA for eb18787

• Fix build-generator: add --force to overwrite existing JAR

  Show description for a41f5f6
  

  brunoborges

  and

  Copilot

  committed
  a41f5f6

  Copy full SHA for a41f5f6

• Move generators to html-generators/, add pre-built fat JAR

  Show description for b6fc5b5
  

  brunoborges

  and

  Copilot

  committed
  b6fc5b5

  Copy full SHA for b6fc5b5

• Convert support field to object with state and description

  Show description for 38feaff
  

  brunoborges

  and

  Copilot

  committed
  38feaff

  Copy full SHA for 38feaff

• Rename Generate.java to generate.java

  Show description for 688dea3
  

  brunoborges

  and

  Copilot

  committed
  688dea3

  Copy full SHA for 688dea3

• Restructure repo: site/, content/, templates/ folders

  Show description for 909f880
  

  brunoborges

  and

  Copilot

  committed
  909f880

  Copy full SHA for 909f880

• Switch deploy workflow from Python to JBang with dependency caching

  Show description for 3e0a909
  

  brunoborges

  and

  Copilot

  committed
  3e0a909

  Copy full SHA for 3e0a909