Skip to content
[Jenkins]Jenkins
log in
Started 7 hr 27 min ago
Took 25 sec on ports
Success

#447 (May 6, 2024, 4:03:53 PM)

PR #480: Code generation fix: Specif...
No changes.

GitHub pull request #480 of commit afe471d8e6226d7bc362b9140939363b0c7c1c46, no merge conflicts.

This run spent:

  • 4 ms waiting;
  • 25 sec build duration;
  • 25 sec total from scheduled to completion.