CI may fail

[tai271828]

The CI of my personal forked repository failed https://github.com/tai271828/devenv/runs/6630300980?check_suite_focus=true so I am aware that the scheduled CI of devenv did not run for a while because Github automatically disabled it for no activity for a while in this repository.

I checked the failure of the CI job https://github.com/tai271828/devenv/runs/6630300980?check_suite_focus=true and I believe devenv's official CI should fail as well. I have re-enabled the Github action for devenv again now. Let's see how it will go.

FWIW: the failure seems some dependency version failure, maybe cmake.

[yungyuc]

It may be a good opportunity to fix the long runtime of the SOLVCON run. It takes an hour and it's too long to be useful in development.