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 = 80
tr.circle(rad)
turtle.done()