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.

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

Draft Github CI integrations #484

Merged
merged 7 commits into from
Nov 9, 2022
Merged

Commits on Oct 31, 2022

  1. Draft Github CI integrations

    Related #483
    Feras A. Saad committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    9fb1cb0 View commit details
    Browse the repository at this point in the history
  2. Update WEBSITE.md to note Github Actions not Travis.

    Feras A. Saad committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    0096f8f View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2022

  1. Configuration menu
    Copy the full SHA
    69418f5 View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2022

  1. Use same Julia versions as Travis CI for now.

    Feras A. Saad committed Nov 9, 2022
    Configuration menu
    Copy the full SHA
    7dc0c10 View commit details
    Browse the repository at this point in the history
  2. Remove TODO for TagBot.yml, these are manually managed.

    Feras A. Saad committed Nov 9, 2022
    Configuration menu
    Copy the full SHA
    2052eba View commit details
    Browse the repository at this point in the history
  3. Fix tyop in Julia version.

    Feras A. Saad committed Nov 9, 2022
    Configuration menu
    Copy the full SHA
    7f710dc View commit details
    Browse the repository at this point in the history
  4. Change x86->x64.

    Feras A. Saad committed Nov 9, 2022
    Configuration menu
    Copy the full SHA
    349fb6c View commit details
    Browse the repository at this point in the history