Stop using term executable vector (#516) #1191

Triggered via push February 3, 2025 16:21

main

Status Success

Total duration 3m 27s

Artifacts 2

build-pdf.yml

on: push

Produced during runtime

Name	Size
Build Artifacts	1.57 MB
github-pages	411 KB