Skip to content
[Jenkins]Jenkins
log in
Started 11 days ago
Took 11 min
Success

Build #1 (Fri Oct 04 11:03:05 CEST 2024)

Push event to branch benatti-caleca-runtimeverif at 11:02:50 on 2024 Oct 4

This run spent:

  • 6 min 10 sec waiting;
  • 11 min build duration;
  • 11 min total from scheduled to completion.
Revision: 46fbac7042777b479bf34b42917530bab4f6af20
Repository: https://github.com/marco-compiler/marco.git
  • benatti-caleca-runtimeverif