$ npx hardhat compile
If your contract requires extra constructor arguments, you'll have to specify them in deploy options.
$ CONTRACT_NAME=GudGuess npx hardhat run --network goerli scripts/deploy.js
$ CONTRACT_NAME=TwapUtils npx hardhat run --network goerli scripts/deploy.js
$ CONTRACT_NAME=GudGuessTickets npx hardhat run --network goerli scripts/deploy.js
$ CONTRACT_NAME=WinnersCircle npx hardhat run --network goerli scripts/deploy.js
$ # setTwapUtils()
$ # setTickets()
$ # setWinnersCircle()
$ # lpCreatePool(3000, priceX96)
$ # lpCreatePool(10000, priceX96)
$ # lpCreatePosition(3000, 50)
$ # lpCreatePosition(10000, 100)
$ # launch()
$ npx hardhat verify CONTRACT_ADDRESS --network goerli
You generally should not need to do this simply to verify in today's compiler version (0.8.x), but should you ever want to:
$ npx hardhat flatten {contract file location} > output.sol