Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

build: remove jaxlib #175

Merged
merged 5 commits into from
Jun 19, 2023
Merged

build: remove jaxlib #175

merged 5 commits into from
Jun 19, 2023

Commits on Jun 9, 2023

  1. ci: increment version

    @clement-bonnet
    clement-bonnet committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    9876dda View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2023

  1. Merge branch 'main' of github.com:instadeepai/jumanji into main

    @clement-bonnet
    clement-bonnet committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    5b79043 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2023

  1. Merge branch 'main' of github.com:instadeepai/jumanji into main

    @clement-bonnet
    clement-bonnet committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    e00cdb4 View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2023

  1. Merge branch 'main' of github.com:instadeepai/jumanji into 148-build-… 

    …remove-jaxlib
    @clement-bonnet
    clement-bonnet committed Jun 18, 2023
    Configuration menu
    Copy the full SHA
    5020972 View commit details
    Browse the repository at this point in the history

  2. ci: remove jaxlib

    @clement-bonnet
    clement-bonnet committed Jun 18, 2023
    Configuration menu
    Copy the full SHA
    7f06369 View commit details
    Browse the repository at this point in the history