Skip to content
Avatar
  • Block or report user

    Block or report rust-highfive

    Block user

    Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse
49 followers · 0 following · 1

Highlights

  • Arctic Code Vault Contributor

Popular repositories

  1. libhoare

    Forked from nrc/libhoare

    Design by contract style assertions for Rust

    Rust 2 2

  2. rust

    Forked from rust-lang/rust

    a safe, concurrent, practical language

    Rust 1

  3. rustaceans.org

    Forked from nrc/rustaceans.org

    1 4

6,939 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

January 2021

Created 433 commits in 3 repositories

Created an issue in rust-lang/rust that received 7 comments

`miri` no longer builds after rust-lang/rust#80905

Hello, this is your friendly neighborhood mergebot. After merging PR #80905, I observed that the tool miri no longer builds. A follow-up PR to the …

7 comments
Opened 1 other issue in 1 repository

Seeing something unexpected? Take a look at the GitHub profile guide.