Skip to content
💭
git push -f
💭
git push -f
  • Block or report user

    Report or block ligurio

    Hide content and notifications from this user.

    Learn more about blocking users

    Contact Support about this user’s behavior.

    Learn more about reporting abuse

    Report abuse
219 followers · 398 following · 2.9k

Organizations

@tarantool @sqaunderhood

Pinned

  1. shaman-scheduler/testres-db

    is a tool to import test results to an SQLite database

    Go 2 1

  2. packetdrill-testcases

    packetdrill testcases for network regression testing

    Python 3

  3. openbsd-cookbooks

    Setup environment in OpenBSD using Ansible playbook

    Shell 75 11

  4. practical-fm

    A gently curated list of companies using verification formal methods in industry

    210 21

  5. testres

    A hyperfast web frontend for software testing results written in C.

    C 3 1

  6. hypothesis-grammars

    Grammars suitable for lark parser and Hypothesis

    Python 4 2

608 contributions in the last year

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

Contribution activity

June 2020

Created an issue in sqlancer/sqlancer that received 2 comments

[Java 8] Cannot start sqlancer on CentOS 8.1

CentOS Linux release 8.1.1911 openjdk version "1.8.0_252" OpenJDK Runtime Environment (build 1.8.0_252-b09) OpenJDK 64-Bit Server VM (build 25.252-…

2 comments

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

You can’t perform that action at this time.