Skip to content

Fail HOL-Light tests on unsupported arch#1232

Open
fegge wants to merge 1 commit into
mainfrom
ptp/hol-light-unsupported-arch-exits-zero
Open

Fail HOL-Light tests on unsupported arch#1232
fegge wants to merge 1 commit into
mainfrom
ptp/hol-light-unsupported-arch-exits-zero

Fail HOL-Light tests on unsupported arch

368e764
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar