Skip to content
[Jenkins]Jenkins
log in
Started 17 hr ago
Took 21 sec on Windows
Success

#841 (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:

  • 16 ms waiting;
  • 21 sec build duration;
  • 22 sec total from scheduled to completion.