Skip to content
Avatar
81 followers · 0 following

Achievements

Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report rust-highfive

Block user

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

You must be logged in to block users.

Report abuse

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

Report abuse

Popular repositories

  1. libhoare Public

    Forked from nrc/libhoare

    Design by contract style assertions for Rust

    Rust 2 3

  2. rust Public

    Forked from rust-lang/rust

    a safe, concurrent, practical language

    Rust 1 1

  3. rustaceans.org Public

    Forked from nrc/rustaceans.org

    1 5

7,294 contributions in the last year

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

Contribution activity

August 2022

Created 483 commits in 3 repositories

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

miri no longer builds after rust-lang/rust#100740

Hello, this is your friendly neighborhood mergebot. After merging PR #100740, I observed that the tool miri has failing tests. A follow-up PR to th…

2 comments
Opened 4 other issues in 1 repository

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