(c2rust-analyze
) Allow calls to UnknownDef
KnownFn
s with known ptr perms
#2001
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
internal-testsuite.yml
on: pull_request
build-on-ubuntu-2004
13m 11s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
testsuite-build-artifacts
Expired
|
1.99 MB |
|