Remove theorem prover targets from default Makefile rule · riscv/sail-riscv@367ae7c

Triggered via pull request April 30, 2024 16:18

Alasdair

opened #464

Alasdair:make_targets

Status Success

Total duration 25m 16s

Artifacts 2

compile.yml

on: pull_request

1 notice

There are 712 tests, see "Raw output" for the full list of tests.

Produced during runtime

Name	Size
event.json Expired	3.61 KB
tests.xml Expired	2.82 KB