I actually never saw this, but anyhow.
I would actually like that generated files like configure do not live in
the source repository, because these are no primary sources. Since
opinions may differ on this view, I accept it in the repo.
That reduces the number of tools needed to build FriCAS by a few items
(autotools), but otherwise the FriCAS source code repo is intended to be
compiled on the users site. Since we explicitly distribute configure, it
should never be build on a users site (except for us developers and we
certainly know how to regenerate it).
Your issue can easily be worked around in the CI action script by adding
a "touch configure". However, your issue might also apply for an
ordinary user who cloned the repo and wants to build FriCAS.
I would not like to introduce a "AM_MAINTAINER_MODE" dependency.
Simply adding the line "touch configure" to the documentation "How to
build FriCAS" should do. I am not sure whether I would generally like to
add some code so that "./configure && make" never tries to rebuild the
"configure" script.
Ralf