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

Update github actions #4467

Merged
merged 16 commits into from
Dec 10, 2020
Merged

Update github actions #4467

merged 16 commits into from
Dec 10, 2020

Commits on Dec 9, 2020

  1. Configuration menu
    Copy the full SHA
    92d6e13 View commit details
    Browse the repository at this point in the history
  2. Add gh actions badge

    rjbou committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    09b30db View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    93dde05 View commit details
    Browse the repository at this point in the history
  4. typo

    AltGr authored and rjbou committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    cc029d0 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    2f39605 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    ca798cc View commit details
    Browse the repository at this point in the history
  7. gh-ci: add reftests

    rjbou committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    dccbca7 View commit details
    Browse the repository at this point in the history
  8. reftests: fix show output

    rjbou committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    cb96685 View commit details
    Browse the repository at this point in the history
  9. Be more robust w.r.t. new caches updates

    Technically speaking, users should use `--readonly`, but it's nicer of
    us just to skip the cache update and go on anyway since no
    functionnality will be impacted.
    AltGr authored and rjbou committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    925f8f4 View commit details
    Browse the repository at this point in the history
  10. Patcher test: fix locale

    AltGr authored and rjbou committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    5a23d7c View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    02e8dbd View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    d0b5232 View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    3def932 View commit details
    Browse the repository at this point in the history
  14. update changes

    rjbou committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    204afac View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    146c00e View commit details
    Browse the repository at this point in the history
  16. reftests: unset OCAMLRUNPARAM

    rjbou committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    6097592 View commit details
    Browse the repository at this point in the history