Previously, we deployed an upgradeable smart contract on the CoreDAO network testnet using @openzeppelin/hardhat-upgrades version 1.32.5. I discovered in this repository that there is no actual code for the AdminUpgradeabilityProxy contract; only an artifact of the contract (not the real code) is available, so I'm unable to verify the source code. Could the OpenZeppelin team provide the actual code for this contract, as it was included in @openzeppelin/hardhat-upgrades version 1.32.5, along with the compiler version, optimization configuration, etc., so that I can proceed with verifying the contracts? By the way, I think it would be much better if the OpenZeppelin team could verify this contract on the CoreDAO network.
Hi, welcome to the community! 
You can share the contracts and configs if possible.