Skip to content

Merge pull request #802 from SchmidtDSE/tool/close-security #2609

Merge pull request #802 from SchmidtDSE/tool/close-security

Merge pull request #802 from SchmidtDSE/tool/close-security #2609

Triggered via push June 11, 2026 19:45
Status Success
Total duration 12m 56s
Artifacts 1

build.yaml

on: push
JVM Engine Build
43s
JVM Engine Build
Generate JavaDoc
46s
Generate JavaDoc
Generate Guide Markdown
23s
Generate Guide Markdown
Generate JSDoc
31s
Generate JSDoc
Build Paper
53s
Build Paper
Static Engine Checks
1m 3s
Static Engine Checks
Engine Tests
57s
Engine Tests
Run Engine Locally
11s
Run Engine Locally
WASM Engine Build
1m 27s
WASM Engine Build
Run Monte Carlo Replicates Test
58s
Run Monte Carlo Replicates Test
Production Deploy
0s
Production Deploy
Preview Deploy
24s
Preview Deploy
Docker Prod Check
0s
Docker Prod Check
Deploy Lambda
0s
Deploy Lambda
Publish Jar
0s
Publish Jar
Fit to window
Zoom out
Zoom in

Deployment protection rules

Reviewers, timers, and other rules protecting deployments in this run
Event Environments Comment
sampottinger
approved Jun 11, 2026
deploy
sampottinger
approved Jun 11, 2026
build
sampottinger
approved Jun 11, 2026
build
sampottinger
approved Jun 11, 2026
build and

Artifacts

Produced during runtime
Name Size Digest
paper
1.27 MB
sha256:f049769fbf3ab40a6f36ba96364f48ec14f0a5bbc533725209a3d34066c6989f