Mike/ralpi
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
77 Commits 1 Branch 0 Tags
5e7cee15e3350bf0956d9b223a88716e7b5d9f79
Commit Graph

4 Commits

Author SHA1 Message Date
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