Mike/ralpi
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
76 Commits 1 Branch 0 Tags
7594ca06f533aa9366a7607b607e9cc8b10c20b7
Commit Graph

3 Commits

Author SHA1 Message Date
Michael Freno
890988b72c port: refuse dst inside src (realpath-normalized) + workflow clones omp repo outside checkout
All checks were successful
port-to-omp / port (push) Successful in 16s
Details
2026-08-10 15:56:46 -04:00
Michael Freno
540862d7d0 rename Actions secret to PORTING_TOKEN (GITEA_/GITHUB_ prefixes are reserved)
Some checks failed
port-to-omp / port (push) Failing after 7s
Details
2026-08-10 15:29:06 -04:00
Michael Freno
cb35ee044c add port-to-omp.mjs + Gitea Actions workflow (regenerate omp port on push)
Some checks failed
port-to-omp / port (push) Failing after 6s
Details
2026-08-10 12:24:15 -04:00