Mike/ralpi
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
78 Commits 1 Branch 0 Tags
5466630dbd5a68d22b1f367f31e1ed42b82083d5
Commit Graph

5 Commits

Author SHA1 Message Date
Michael Freno
5466630dbd workflow: fail loudly on missing PORTING_TOKEN before trimming (set -u safe) 2026-08-10 21:53:07 -04:00
Michael Freno
5e7cee15e3 workflow: trim PORTING_TOKEN (paste newlines break oauth2 auth) + fail loudly when missing
Some checks failed
port-to-omp / port (push) Failing after 2s
Details
2026-08-10 16:44:52 -04:00
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