Skip to content

Release 0.4.0-preview.3#35

Merged
monsieurleberre merged 2 commits into
mainfrom
promote/v0.4.0-preview.3
Jul 19, 2026
Merged

Release 0.4.0-preview.3#35
monsieurleberre merged 2 commits into
mainfrom
promote/v0.4.0-preview.3

Conversation

@peaceful-conductor

Copy link
Copy Markdown
Contributor

Overlay promotion of curated paths from the internal stage ref onto public main as a single commit authored by the GitHub App via createCommitOnBranch, so it is signed and Verified. Squash-merge to keep linear history. Tier-1 content leak-scan passed pre-flight.

peaceful-conductor Bot and others added 2 commits July 19, 2026 11:18
Promote 0.4.0-preview.3 to public. See CHANGELOG.md for consumer-facing changes.
@github-actions

Copy link
Copy Markdown
Contributor

Scala coverage

Code Coverage

Package Line Rate Branch Rate Health
studio.peaceful.daml.codegen.helper 97% 95%
Summary 97% (642 / 663) 95% (145 / 152)

@github-actions

Copy link
Copy Markdown
Contributor

C# coverage

Code Coverage

Package Line Rate Branch Rate Complexity Health
Daml.Codegen.CSharp 98% 97% 1195
Daml.Codegen.CSharp.Cli 100% 100% 3
Daml.Codegen.Testing.Conformance 78% 98% 73
Daml.Ledger.Abstractions 73% 89% 21
Daml.Ledger.Abstractions.Testing.Conformance 59% 50% 16
Daml.Runtime 94% 84% 534
Summary 96% (4136 / 4330) 93% (1620 / 1739) 1842

@github-actions

Copy link
Copy Markdown
Contributor

C# build matrix

shard result duration
macos-amd64 ✅ success 1m 38s
macos-arm64 ✅ success 56s
ubuntu-amd64 ✅ success 1m 19s
ubuntu-arm64 ✅ success 1m 03s
windows-amd64 ✅ success 1m 53s
windows-arm64 ✅ success 1m 42s

@github-actions

Copy link
Copy Markdown
Contributor

Scala build matrix

shard result duration
macos-amd64 ✅ success 2m 23s
macos-arm64 ✅ success 1m 08s
ubuntu-amd64 ✅ success 1m 01s
ubuntu-arm64 ✅ success 1m 02s
windows-amd64 ✅ success 1m 18s

@monsieurleberre
monsieurleberre merged commit e9d5a6e into main Jul 19, 2026
29 checks passed
@monsieurleberre
monsieurleberre deleted the promote/v0.4.0-preview.3 branch July 19, 2026 11:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant