diff options
author | Martin Berger <martinberger@users.noreply.github.com> | 2022-02-03 10:17:22 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-02-03 10:17:22 +0000 |
commit | 1e3906f0eee16666fec67e7f221e0e2e82747052 (patch) | |
tree | d92399f840172e44caa70ca1a79ea4b2278427ca /.github/workflows/compile.yml | |
parent | 5491f014f8767f0cda40cbdc2c0052f6d4c0bf1b (diff) | |
download | sail-riscv-1e3906f0eee16666fec67e7f221e0e2e82747052.zip sail-riscv-1e3906f0eee16666fec67e7f221e0e2e82747052.tar.gz sail-riscv-1e3906f0eee16666fec67e7f221e0e2e82747052.tar.bz2 |
Added notes about copyright headers in code, and a reminder that (#146)
pull-requests ideally come with an explanation how the correctness of
the PR was established.
Diffstat (limited to '.github/workflows/compile.yml')
0 files changed, 0 insertions, 0 deletions