Skip to content
[Jenkins]Jenkins
log in
Started 4 yr 2 mo ago
Took 1 min 53 sec on default-agent-w41xm
Success

#151 (Apr 23, 2020, 1:28:56 PM)

PR #536: Update the spec with the ne...
No changes.

GitHub pull request #536 of commit bdfcef987f5a64440090d22213d4eec5fd606eff, no merge conflicts.

Test Result (no failures)

    Module Builds

     microProfile-fault-tolerance-api27 sec
     MicroProfile Fault Tolerance16 sec
     MicroProfile Fault Tolerance Specification23 sec
     microprofile-fault-tolerance-tck23 sec
     microprofile-fault-tolerance-tck-metrics50 (didn’t run)