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. 09 10月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · 6875f301
      Bamboo 创作于
      Change-Id: I2e9096b94706f1907044c0041612bab107adcde8
      6875f301
  2. 05 10月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · f3572f6b
      Bamboo 创作于
      Change-Id: I3e27437772bbf89f877c0e2136027512f2d07ede
      f3572f6b
  3. 03 10月, 2018 2 次提交
    • Bamboo's avatar
      Updating default.xml · 16617bc9
      Bamboo 创作于
      Change-Id: I133fa9790d6694c7451c9d40fdce01c6e587b960
      16617bc9
    • Bamboo's avatar
      Updating default.xml · f56db3c1
      Bamboo 创作于
      Change-Id: If1416c501b955c706db4f18d2a72e763d92efcab
      f56db3c1
  4. 02 10月, 2018 2 次提交
    • Bamboo's avatar
      Updating default.xml · 13c0ebda
      Bamboo 创作于
      Change-Id: I2c1609de460f10b84829aeeab38a3986c3f7f1e4
      13c0ebda
    • Bamboo's avatar
      Updating default.xml · 00127e79
      Bamboo 创作于
      Change-Id: I8c574797886b1d16a5a6695ebc7b7be1db198f4f
      00127e79
  5. 27 9月, 2018 2 次提交
    • Bamboo's avatar
      Updating default.xml · 938a6cd2
      Bamboo 创作于
      Change-Id: Iff80894f49531443f5ec3cf962374f834187454e
      938a6cd2
    • Bamboo's avatar
      Updating default.xml · 87d6b159
      Bamboo 创作于
      Change-Id: I9069a20f684c922aa0449a6f155ab759b13e8e5c
      87d6b159
  6. 26 9月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · eab98364
      Bamboo 创作于
      Change-Id: If8f5fbda151c77db4d03fa30060c1122b5f6523a
      eab98364
  7. 25 9月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · d1ebc3f6
      Bamboo 创作于
      Change-Id: I76e6c7e42d88b1e15d71f37a7d5c53b79b12425b
      d1ebc3f6
  8. 24 9月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · ca2af0b9
      Bamboo 创作于
      Change-Id: Iea110a5cc96bdca7aaa08c093c3ef8ad3c02bb99
      ca2af0b9
  9. 19 9月, 2018 2 次提交
    • Bamboo's avatar
      Updating default.xml · 2943d7d5
      Bamboo 创作于
      Change-Id: I2963db474a4bea4795940181537802d2fe6be345
      2943d7d5
    • Bamboo's avatar
      Updating default.xml · 6755226b
      Bamboo 创作于
      Change-Id: I879b4e5361916454d5d67ef0d73299ee22e54a6a
      6755226b
  10. 18 9月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · 8b8ee1b2
      Bamboo 创作于
      Change-Id: I10cd35be15caa616b915d5274a3d9486086aeab9
      8b8ee1b2
  11. 17 9月, 2018 2 次提交
    • Bamboo's avatar
      Updating default.xml · 3867c96c
      Bamboo 创作于
      Change-Id: Icf5582373ee520122fc8b7f1132837cc625226ce
      3867c96c
    • Bamboo's avatar
      Updating default.xml · 76ac5530
      Bamboo 创作于
      Change-Id: I241ea13d9dbde99726a05b7a3b805b76d0573e2c
      76ac5530
  12. 11 9月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · dfc21ae9
      Bamboo 创作于
      Change-Id: I445997a6058bcaf1ed31b7c3de0216e1ed8fd805
      dfc21ae9
  13. 10 9月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · e41021ab
      Bamboo 创作于
      Change-Id: I68a5032989eafaf354eda34c43a0325caad20bfb
      e41021ab
  14. 05 9月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · 22bfde4b
      Bamboo 创作于
      Change-Id: I88f2c937ab0374c1c7aa96252b007bc26286af9f
      22bfde4b
  15. 04 9月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · 543dbcdc
      Bamboo 创作于
      Change-Id: I212990ce2a7daccec6c3d058bba989dd19484141
      543dbcdc
  16. 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
  17. 30 8月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · c5ecdb66
      Bamboo 创作于
      Change-Id: Ia5c9a850a96a56c30e4bc5e98497b467a39b7f7c
      c5ecdb66
  18. 29 8月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · 70765af4
      Bamboo 创作于
      Change-Id: Ied1b38b00bf066a3371894d3f80d885741f8cedd
      70765af4
  19. 27 8月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · 5c948c28
      Bamboo 创作于
      Change-Id: I90fed5a539f84e00a3a865731729ef5bb60cecb6
      5c948c28
  20. 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
  21. 23 8月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · 915d4e35
      Bamboo 创作于
      Change-Id: Ic68a5fdd2bccac462892de503bb8114f43ed75ed
      915d4e35
  22. 22 8月, 2018 1 次提交
  23. 15 8月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · dfbacb95
      Bamboo 创作于
      Change-Id: I8890b8aa57a1a1134328394838414aced1fdabf9
      dfbacb95
  24. 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
  25. 09 8月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · 32b1859f
      Bamboo 创作于
      Change-Id: I31d541bee512cafa8028f81c9374fd0e9a8683d8
      32b1859f
  26. 08 8月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · d18ea444
      Bamboo 创作于
      Change-Id: I4ff0db59cc3a042868d39283ee1870ba95290706
      d18ea444
  27. 07 8月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · 48d4bdc6
      Bamboo 创作于
      Change-Id: I720fe6f7aa296a7e0206e843ec6589fdf72b461a
      48d4bdc6
  28. 06 8月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · b51342c5
      Bamboo 创作于
      Change-Id: Ib02ee57c040b89ec2c17a32f20837561e39a387d
      b51342c5
  29. 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
  30. 01 8月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · fd84ee32
      Bamboo 创作于
      Change-Id: I4f102e0c575b09d06184315d74106a50c33222ba
      fd84ee32
  31. 31 7月, 2018 1 次提交
    • Bamboo's avatar
      Updating default.xml · ff509059
      Bamboo 创作于
      Change-Id: I5d78b68824aa3c541f95a7814c595d11549ec84b
      ff509059