exporting python turtle drawing to video

Is there a way to export a python turtle drawing to a video?The video should contain the real-time drawing process.

In particular I'm not interested in a screen-recording workaround, but a solution that would work in a headless system like a cloud environment.

Here's an example of a turtle drawing

import turtle tr = turtle.Turtle()rad = 80tr.circle(rad)turtle.done()