Skip to content

pullrequests Search Results · language:Dune language:Python language:JavaScript language:Java language:HTML is:merged is:unmerged

Filter by

85.5M results  (1 s)

85.5M results

@ Summary CI flagged three actions as running on the deprecated Node.js 20 runtime (GitHub forces Node 24 on 2026-06-16 and removes Node 20 on 2026-09-16). This bumps them to the current Node 24-based ...

Bumps the prod-deps group with 6 updates: | Package | From | To | | --- | --- | --- | | org.instancio:instancio-junit | 5.5.1 | 5.6.0 | | com.puppycrawl.tools:checkstyle | 13.4.2 | 13.5.0 | | software.amazon.awssdk:ssm ...
dependencies
java

Render Quarto once per change, not twice quarto.yml (full-site HTML render + 4 DOCX shards + GitHub Pages deploy) triggered on both pull_request and push: main, so every docs change rendered twice — once ...

This PR configures your project for Cloudflare Workers deployment using Wrangler autoconfig. Merging this PR commits the configuration to your repository, enabling faster deployments and version controlled ...

Description Simplifies asset and sensor initialization code that resolves source prims and validates expected child prim matches. This adds common query-helper options so call sites can avoid repeated ...
enhancement
isaac-lab

output/mappings.py: A dictionary that maps lowercase alphabet characters to braille mappings.

Changed how compound elements are constructed. Also fixed #88 while I was at it, since I was going to be changing tests already

- 💡 What: Extracted duplicated display name validation logic (trimming whitespace and rejecting empty strings) from multiple Pydantic models into a single ValidDisplayName type using Annotated and ...

This PR adds a comprehensive guide for the Jefe de Área role to the interactive user manual. Key changes include: - New Content: A dedicated section (Section 5) explaining the manager s role in approvals, ...