Yes! You need the following:
- You need to follow the instructions on this link to get ffmpeg and to know the video settings https://docs.inochi2d.com/en/latest/creator/video-export/index.html
- When the file manager opens for you to name the exporting file, put the file extension you need at the end of the name (.png for image sequences for example)
- In the same file manager select the file you want to export as. If the file you want isn't there, select all files.
- For gifs you can leave it as automatic, but it'll be crunchy and compressed. For PNG sequences you need to select the PNG codec since the automatic one will try and make it a mp4 by default.