Skip to content

Rename "PR Summary" into "Job Summary" (#252) #51

Rename "PR Summary" into "Job Summary" (#252)

Rename "PR Summary" into "Job Summary" (#252) #51

Triggered via push June 19, 2024 19:49
Status Success
Total duration 1m 13s
Artifacts

java.yml

on: push
Run JMH benchmark example
1m 3s
Run JMH benchmark example
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Run JMH benchmark example
Auto-push failed because the remote gh-pages was updated after git pull
Run JMH benchmark example
Retrying to generate a commit and push to remote gh-pages with retry count 10...