Skip to content

chore: specify which exporter to use when processing Org files #11

chore: specify which exporter to use when processing Org files

chore: specify which exporter to use when processing Org files #11

Triggered via push May 11, 2025 03:17
Status Cancelled
Total duration 59s
Artifacts 4

update-repo.yml

on: push
Find all talks
4s
Find all talks
Matrix: Build Org-mode talks
Matrix: Build PDF talks
Deploy to GitHub Pages  /  main
Deploy to GitHub Pages / main
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build Org-mode talks (paper-verdi) / main
The run was canceled by @RangHo.

Artifacts

Produced during runtime
Name Size Digest
communism-oop Expired
1.41 MB
sha256:c7edec20bd3237d39270a8e0a94686b1d95db04e62a21881256a1d996d98cfe1
emacs-editor Expired
828 KB
sha256:9721a6db15760f8da7af6f387752a84364129ff05557ace0ff885dbf4b80c57d
rusty-python Expired
945 KB
sha256:16ae8cd99ee864b376e2052a4ebe39771ff46127636ed0b23f2b1a781b57a809
webassembly Expired
887 KB
sha256:ab1866246ad1a106018c90af52c9e6eea859d6e0ce4e7742e033df817cb5cb3d