This project is mirrored from https://github.com/seL4/sel4test-manifest.git. Pull mirroring failed .
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer.
Last successful update .
  1. 05 9月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · 22bfde4b
      Bamboo 创作于
      Change-Id: I88f2c937ab0374c1c7aa96252b007bc26286af9f
      22bfde4b
  2. 04 9月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · 543dbcdc
      Bamboo 创作于
      Change-Id: I212990ce2a7daccec6c3d058bba989dd19484141
      543dbcdc
  3. 03 9月, 2018 2 次提交
    • Bamboo's avatar
      Updating default.xml · 7e30f95c
      Bamboo 创作于
      Change-Id: I0c070963ab981f7c3e0624bd586f013f92a5f8b1
      7e30f95c
    • Bamboo's avatar
      Updating default.xml · c4b5b8b1
      Bamboo 创作于
      Change-Id: I7d5a4191a1d68cbe072ce7985ba624568a3f0d4f
      c4b5b8b1
  4. 30 8月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · c5ecdb66
      Bamboo 创作于
      Change-Id: Ia5c9a850a96a56c30e4bc5e98497b467a39b7f7c
      c5ecdb66
  5. 29 8月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · 70765af4
      Bamboo 创作于
      Change-Id: Ied1b38b00bf066a3371894d3f80d885741f8cedd
      70765af4
  6. 27 8月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · 5c948c28
      Bamboo 创作于
      Change-Id: I90fed5a539f84e00a3a865731729ef5bb60cecb6
      5c948c28
  7. 24 8月, 2018 2 次提交
    • Bamboo's avatar
      Updating default.xml · 981e9aa8
      Bamboo 创作于
      Change-Id: Id1c639b607a0aa034f5497d58d852d2a763ea68c
      981e9aa8
    • Bamboo's avatar
      Updating default.xml · 319da235
      Bamboo 创作于
      Change-Id: I8f6917ede8dae32a4125f6c06debe6aa59ad060c
      319da235
  8. 23 8月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · 915d4e35
      Bamboo 创作于
      Change-Id: Ic68a5fdd2bccac462892de503bb8114f43ed75ed
      915d4e35
  9. 22 8月, 2018 1 次提交
  10. 15 8月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · dfbacb95
      Bamboo 创作于
      Change-Id: I8890b8aa57a1a1134328394838414aced1fdabf9
      dfbacb95
  11. 13 8月, 2018 2 次提交
    • Bamboo's avatar
      Updating default.xml · c40e77a1
      Bamboo 创作于
      Change-Id: Icb18bbe6b86c5ffe6a812862092fb551d611bed5
      c40e77a1
    • Bamboo's avatar
      Updating default.xml · fb811b63
      Bamboo 创作于
      Change-Id: I7ba77e438ec35c21ab75861fb21fc7248b361b46
      fb811b63
  12. 09 8月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · 32b1859f
      Bamboo 创作于
      Change-Id: I31d541bee512cafa8028f81c9374fd0e9a8683d8
      32b1859f
  13. 08 8月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · d18ea444
      Bamboo 创作于
      Change-Id: I4ff0db59cc3a042868d39283ee1870ba95290706
      d18ea444
  14. 07 8月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · 48d4bdc6
      Bamboo 创作于
      Change-Id: I720fe6f7aa296a7e0206e843ec6589fdf72b461a
      48d4bdc6
  15. 06 8月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · b51342c5
      Bamboo 创作于
      Change-Id: Ib02ee57c040b89ec2c17a32f20837561e39a387d
      b51342c5
  16. 03 8月, 2018 2 次提交
    • Bamboo's avatar
      Updating default.xml · dc5c1c94
      Bamboo 创作于
      Change-Id: I9e0aab511c2ca15ffe5e69dcde05b7fa6110a3b0
      dc5c1c94
    • Bamboo's avatar
      Updating default.xml · f0db9de9
      Bamboo 创作于
      Change-Id: Iecf818d32f85e48fb051a575530b69ee4596f8c9
      f0db9de9
  17. 01 8月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · fd84ee32
      Bamboo 创作于
      Change-Id: I4f102e0c575b09d06184315d74106a50c33222ba
      fd84ee32
  18. 31 7月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · ff509059
      Bamboo 创作于
      Change-Id: I5d78b68824aa3c541f95a7814c595d11549ec84b
      ff509059
  19. 26 7月, 2018 2 次提交
    • Bamboo's avatar
      Updating default.xml · 182d7b14
      Bamboo 创作于
      Change-Id: Ic81d2f547d6c9c067e767a7ec7ae16c3550bb508
      182d7b14
    • Bamboo's avatar
      Updating default.xml · 6475c658
      Bamboo 创作于
      Change-Id: I08092743090c1e218e0c60a62abd935a4d788bb7
      6475c658
  20. 24 7月, 2018 2 次提交
    • Bamboo's avatar
      Updating default.xml · 29cb6970
      Bamboo 创作于
      Change-Id: Ia899a394b31650df9696f534aa4fa05c824aa183
      29cb6970
    • Bamboo's avatar
      Updating default.xml · 38e60eb3
      Bamboo 创作于
      Change-Id: I7e1087213f2f4d2046bdb31f57f8bbecb4e22697
      38e60eb3
  21. 19 7月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · 80bbdc9e
      Bamboo 创作于
      Change-Id: I2187713aa5da582cbf15336cd1c49d56224da8d6
      80bbdc9e
  22. 17 7月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · 47fad736
      Bamboo 创作于
      Change-Id: I62d018d47ae1a857afacdf4fe3d398dbdb3c9bff
      47fad736
  23. 16 7月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · 3683c1cb
      Bamboo 创作于
      Change-Id: I2447d7a61831ce30fb328b570fe715f185ce5d0c
      3683c1cb
  24. 13 7月, 2018 2 次提交
    • Bamboo's avatar
      Updating default.xml · 20a41ede
      Bamboo 创作于
      Change-Id: Ibce7d47fda17fa6124200534e1069f1789eec5a7
      20a41ede
    • Bamboo's avatar
      Updating default.xml · 5956788f
      Bamboo 创作于
      Change-Id: I279f17429b17fc8f423c09e2bfe03f1b2500c94c
      5956788f
  25. 12 7月, 2018 3 次提交
    • Bamboo's avatar
      Updating default.xml · 15f11230
      Bamboo 创作于
      Change-Id: Ia0c3003015d651038e9614dbe87411b046688298
      15f11230
    • Bamboo's avatar
      Updating default.xml · b9e0aa58
      Bamboo 创作于
      Change-Id: I8b4c852220621fe3503ced0adcfab932df9b0a88
      b9e0aa58
    • Bamboo's avatar
      Updating default.xml · 57f22e5e
      Bamboo 创作于
      Change-Id: I47e8e5df0d9e0bec8fd6e1a3c778cb620855d4b3
      57f22e5e
  26. 11 7月, 2018 2 次提交
    • Bamboo's avatar
      Updating default.xml · 9a053f87
      Bamboo 创作于
      Change-Id: I1e22223893696ff120a3b8f5acd682cf65ec1477
      9a053f87
    • Bamboo's avatar
      Updating default.xml · 1ace40ba
      Bamboo 创作于
      Change-Id: I9e498fb9aa8143dd8c6ca4fc95af35e3a90170ac
      1ace40ba
  27. 07 7月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · 23b33f1e
      Bamboo 创作于
      Change-Id: Ic4c4697bdbda167e83c88dbf8be986420ed2fc53
      23b33f1e
  28. 06 7月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · c60a4487
      Bamboo 创作于
      Change-Id: Ibfa2dbadcd5eab70eb307fac1992cf2b49b779a4
      c60a4487
  29. 05 7月, 2018 2 次提交
    • Bamboo's avatar
      Updating default.xml · 97789164
      Bamboo 创作于
      Change-Id: Id1b3827639461049b7eb56a8ed6ba978d4781827
      97789164
    • Bamboo's avatar
      Updating default.xml · c431badd
      Bamboo 创作于
      Change-Id: I64a2551a1f0a9e0c1b5cc3168d17c53184990f8d
      c431badd