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

Test on all operating systems and make Miri run on CI #90

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Test on all operating systems and make Miri run on CI #90

wants to merge 2 commits into from

Commits on Nov 23, 2020

  1. Test on all operating systems. 

    It might be a good idea to test on all operating systems, since they have differences in memory management and file operations which might cause bugs.
    @philippeitis
    philippeitis committed Nov 23, 2020
    Configuration menu
    Copy the full SHA
    d5b0f67 View commit details
    Browse the repository at this point in the history

  2. Fix Miri test

    @philippeitis
    philippeitis committed Nov 23, 2020
    Configuration menu
    Copy the full SHA
    2b0d67e View commit details
    Browse the repository at this point in the history