Skip to content
This repository has been archived by the owner on May 26, 2022. It is now read-only.

Setup Github actions #841

Merged
merged 5 commits into from
Jan 11, 2022
Merged

Setup Github actions #841

merged 5 commits into from
Jan 11, 2022

Commits on Nov 12, 2021

  1. Setup Github actions

    adrilo committed Nov 12, 2021
    Configuration menu
    Copy the full SHA
    65b5ad7 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    be195dc View commit details
    Browse the repository at this point in the history
  3. Fix PHP Stan errors

    adrilo committed Nov 12, 2021
    Configuration menu
    Copy the full SHA
    cdf7fdf View commit details
    Browse the repository at this point in the history
  4. Fix errors on Windows

    adrilo committed Nov 12, 2021
    Configuration menu
    Copy the full SHA
    eee7dd2 View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2022

  1. Reduce number of jobs

    adrilo committed Jan 11, 2022
    Configuration menu
    Copy the full SHA
    b88d993 View commit details
    Browse the repository at this point in the history