admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
7,705 Commits 215 Branches 0 Tags
develop
Commit Graph

2 Commits

Author SHA1 Message Date
Giacomo Vercesi d3d73a48c9 PRSS: add envvars for secret parameters 
Allow passing command-line options which might contain secrets via an
environment variable instead of directly on the CLI.
 2026-06-17 09:43:07 +02:00
Giacomo Vercesi 828bd9c49f pypeline: add remote storage server 
Add the PRSS (Pypeline Remote Storage Server) and the relay companion
server.
 2026-05-22 09:04:35 +02:00