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 | 4 mo 20 days - #1 | 19 min | - | ||||||||||||||||||||
![]() | ![]()
| dependabot | N/A | 4 mo 20 days - #1 | 21 min | - | ||||||||||||||||||||
![]() | ![]()
| development | 2 yr 3 mo - #161 | 5 mo 11 days - #168 | 19 min | - | ||||||||||||||||||||
![]() | ![]()
| master | 2 yr 3 mo - #10 | N/A | 13 min | - | ||||||||||||||||||||
![]() | ![]()
| mha | 3 yr 1 mo - #8 | 3 yr 2 mo - #3 | 18 min | - | ||||||||||||||||||||
![]() | ![]()
| mha | N/A | 3 yr 9 mo - #2 | 10 sec | - | ||||||||||||||||||||
![]() | ![]()
| pvj | 3 yr 2 mo - #86 | 3 yr 2 mo - #85 | 19 min | - | ||||||||||||||||||||
![]() | ![]()
| pvj | 3 yr 0 mo - #11 | 3 yr 0 mo - #9 | 15 min | - | ||||||||||||||||||||
![]() | ![]()
| 3 yr 3 mo - #5 | N/A | 23 min | - | |||||||||||||||||||||
![]() | ![]()
| pvj | 1 yr 5 mo - #1 | N/A | 20 min | - | ||||||||||||||||||||
![]() | ![]()
| pvj | 4 yr 0 mo - #1 | N/A | 22 min | - | ||||||||||||||||||||
![]() | ![]()
| update | N/A | 5 mo 11 days - #2 | 20 min | - | ||||||||||||||||||||
![]() | ![]()
| vpb | 3 yr 7 mo - #2 | N/A | 35 min | - | ||||||||||||||||||||
![]() | ![]()
| vpb | 3 yr 3 mo - #67 | 3 yr 4 mo - #48 | 20 min | - | ||||||||||||||||||||
![]() | ![]()
| vpb | N/A | 3 yr 2 mo - #1 | 6 min 2 sec | - |