Mike/ralpi
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
74 Commits 1 Branch 0 Tags
540862d7d0736a3043b0253239a3d7c2f41e38a7
Commit Graph

2 Commits

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