Skip to content
[Jenkins]Jenkins
log in
Started 1 day 2 hr ago
Took 26 sec on ports
Success

#19 (May 6, 2024, 4:04:19 PM)

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

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

This run spent:

  • 25 sec waiting;
  • 26 sec build duration;
  • 52 sec total from scheduled to completion.