Update nix/frama-ci.*
| Name | Stage | Failure | ||
|---|---|---|---|---|
|
failed
|
git-update | Git Update | There has been a timeout failure or the job got stuck. Check your timeout limits or try again | |
|
||||
| Name | Stage | Failure | ||
|---|---|---|---|---|
|
failed
|
git-update | Git Update | There has been a timeout failure or the job got stuck. Check your timeout limits or try again | |
|
||||