Skip to content
Snippets Groups Projects
This project is mirrored from https://github.com/hermitcore/hermit-rs.git. Pull mirroring failed .
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer or owner.
Last successful update .
  1. Nov 17, 2022
  2. Nov 07, 2022
  3. Oct 31, 2022
  4. Oct 20, 2022
  5. Oct 11, 2022
  6. Oct 10, 2022
  7. Oct 03, 2022
  8. Sep 29, 2022
  9. Sep 18, 2022
  10. Sep 16, 2022
  11. Sep 10, 2022
  12. Sep 06, 2022
  13. Sep 05, 2022
  14. Sep 04, 2022
  15. Sep 01, 2022
  16. Aug 29, 2022
    • bors[bot]'s avatar
      Merge #360 · 5f7d0e6b
      bors[bot] authored
      360: Update tock-registers requirement from 0.7 to 0.8 r=mkroening a=dependabot[bot]
      
      Updates the requirements on [tock-registers](https://github.com/tock/tock) to permit the latest version.
      <details>
      <summary>Commits</summary>
      <ul>
      <li>See full diff in <a href="https://github.com/tock/tock/commits/tock-registers-v0.8
      
      ">compare view</a></li>
      </ul>
      </details>
      <br />
      
      
      You can trigger a rebase of this PR by commenting ``@dependabot` rebase`.
      
      [//]: # (dependabot-automerge-start)
      [//]: # (dependabot-automerge-end)
      
      ---
      
      <details>
      <summary>Dependabot commands and options</summary>
      <br />
      
      You can trigger Dependabot actions by commenting on this PR:
      - ``@dependabot` rebase` will rebase this PR
      - ``@dependabot` recreate` will recreate this PR, overwriting any edits that have been made to it
      - ``@dependabot` merge` will merge this PR after your CI passes on it
      - ``@dependabot` squash and merge` will squash and merge this PR after your CI passes on it
      - ``@dependabot` cancel merge` will cancel a previously requested merge and block automerging
      - ``@dependabot` reopen` will reopen this PR if it is closed
      - ``@dependabot` close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
      - ``@dependabot` ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
      - ``@dependabot` ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
      - ``@dependabot` ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
      
      
      </details>
      
      Co-authored-by: default avatardependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
      5f7d0e6b
    • bors[bot]'s avatar
      Merge #361 · be3bdb59
      bors[bot] authored
      
      361: GitLab CI: Always pull base images r=mkroening a=mkroening
      
      
      
      Co-authored-by: default avatarMartin Kröning <mkroening@posteo.net>
      be3bdb59
Loading