Github secrets are encrypted, right? I didn't think there was any way to access them without running a github actions job that deliberately uploads them somewhe

Github secrets are encrypted, right? I didn't think there was any way to access them without running a github actions job that deliberately uploads them somewhere else (or echos them into the log with rot13/base64 or something else).