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

CI: updated scripts. Minimal Julia is 1.6 now #275

Merged
merged 3 commits into from
Oct 16, 2023
Merged

CI: updated scripts. Minimal Julia is 1.6 now #275

merged 3 commits into from
Oct 16, 2023

Commits on Oct 16, 2023

  1. CI: updated scripts. Minimal Julia is 1.6 now

    @rssdev10
    rssdev10 committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    76ad812 View commit details
    Browse the repository at this point in the history

  2. Update ci.yml

    @rssdev10
    rssdev10 authored Oct 16, 2023
    Configuration menu
    Copy the full SHA
    1197e9d View commit details
    Browse the repository at this point in the history

  3. revert change to cron time.

    @aviks
    aviks authored Oct 16, 2023
    Configuration menu
    Copy the full SHA
    834bc73 View commit details
    Browse the repository at this point in the history