aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/compile.yml
diff options
context:
space:
mode:
authorMartin Berger <martinberger@users.noreply.github.com>2022-02-03 10:17:22 +0000
committerGitHub <noreply@github.com>2022-02-03 10:17:22 +0000
commit1e3906f0eee16666fec67e7f221e0e2e82747052 (patch)
treed92399f840172e44caa70ca1a79ea4b2278427ca /.github/workflows/compile.yml
parent5491f014f8767f0cda40cbdc2c0052f6d4c0bf1b (diff)
downloadsail-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