chore(main): release infs 0.4.0#25

github-actions[bot] wants to merge 1 commit intomaindvaJi/infera:mainfrom

release-please--branches--main--components--infsdvaJi/infera:release-please--branches--main--components--infsCopy head branch name to clipboard