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

Experiment with #213 #218

Closed
wants to merge 5 commits into from
Closed

Experiment with #213 #218

wants to merge 5 commits into from

Commits on Oct 16, 2023

  1. copy formatting github action from ChainRulesCore.jl

    @hyrodium
    hyrodium committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    1e9ffca View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2023

  1. Apply suggestions 

    Co-authored-by: Max Horn <max@quendi.de>
    @lgoettgens @fingolfin
    lgoettgens and fingolfin committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    3688186 View commit details
    Browse the repository at this point in the history

  2. Destroy some formatting

    @lgoettgens
    lgoettgens committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    c7def8e View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2023

  1. Update .github/workflows/code-style.yml

    @fingolfin
    fingolfin authored Oct 25, 2023
    Configuration menu
    Copy the full SHA
    d41d144 View commit details
    Browse the repository at this point in the history

  2. Update .github/workflows/code-style.yml

    @fingolfin
    fingolfin authored Oct 25, 2023
    Configuration menu
    Copy the full SHA
    80dd482 View commit details
    Browse the repository at this point in the history