google/or-tools
1
0
Fork 0
mirror of https://github.com/google/or-tools.git synced 2026-04-24 12:38:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
74ef5934cc74f81c525e0072e6913b984d55fd2d
or-tools/.github/workflows/mips_toolchain.yml
Corentin Le Molgat a5b650e203 cmake(ci): rework toolchain target 
* Add toolchain_ prefix to avoid conflict with "platform" targets
* Update workflows
* Fix mipsel/mips64el target in cross_compile.sh
2023-10-23 14:15:07 +02:00

24 lines
750 B
YAML
Raw Blame History

Reference in New Issue View Git Blame Copy Permalink