vdm2c-multibranch-pipeline
Working repository for the development of a VDM to C code generator
S | W | Name | Last Success | Last Failure | Last Duration | # Issues | ||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
![]() | ![]()
| dependabot | N/A | 2 yr 3 mo - #1 | 19 min | - | ||||||||||||||||||||
![]() | ![]()
| dependabot | N/A | 2 yr 3 mo - #1 | 21 min | - | ||||||||||||||||||||
![]() | ![]()
| development | 4 yr 2 mo - #161 | 2 yr 4 mo - #168 | 19 min | - | ||||||||||||||||||||
![]() | ![]()
| master | 4 yr 2 mo - #10 | N/A | 13 min | - | ||||||||||||||||||||
![]() | ![]()
| mha | 5 yr 0 mo - #8 | 5 yr 2 mo - #3 | 18 min | - | ||||||||||||||||||||
![]() | ![]()
| mha | N/A | 5 yr 8 mo - #2 | 10 sec | - | ||||||||||||||||||||
![]() | ![]()
| pvj | 5 yr 2 mo - #86 | 5 yr 2 mo - #85 | 19 min | - | ||||||||||||||||||||
![]() | ![]()
| pvj | 4 yr 11 mo - #11 | 4 yr 12 mo - #9 | 15 min | - | ||||||||||||||||||||
![]() | ![]()
| 5 yr 2 mo - #5 | N/A | 23 min | - | |||||||||||||||||||||
![]() | ![]()
| pvj | 3 yr 5 mo - #1 | N/A | 20 min | - | ||||||||||||||||||||
![]() | ![]()
| pvj | 5 yr 11 mo - #1 | N/A | 22 min | - | ||||||||||||||||||||
![]() | ![]()
| update | N/A | 2 yr 4 mo - #2 | 20 min | - | ||||||||||||||||||||
![]() | ![]()
| vpb | 5 yr 6 mo - #2 | N/A | 35 min | - | ||||||||||||||||||||
![]() | ![]()
| vpb | 5 yr 2 mo - #67 | 5 yr 4 mo - #48 | 20 min | - | ||||||||||||||||||||
![]() | ![]()
| vpb | N/A | 5 yr 1 mo - #1 | 6 min 2 sec | - |