Skip to content
Test Validity of "Refinements Among High-Level Models" Paper

Test Validity of "Refinements Among High-Level Models" Paper #74

Sign in to view logs

Test Validity of "Refinements Among High-Level Models" Paper

Test Validity of "Refinements Among High-Level Models" Paper #74

Re-run triggered March 9, 2026 15:43
@dmzimmermandmzimmerman
⁠ 436969e
main
Status Success
Total duration 41m 18s
Artifacts 1

test-validity-of-refinements-paper.yml

on: schedule
Run Latexmk on Paper
41m 11s
Run Latexmk on Paper
Fit to window
Zoom out
Zoom in

Annotations

1 notice
Run Latexmk on Paper
TeX Live 2026 has been released. The action may not work properly for a few days after release.

Artifacts

Produced during runtime
Name Size Digest
refinements_among_high_level_models_paper Expired
351 KB
sha256:dee76bbac965d3a5433e0166b22568a703615e2a35b3da784f5620b1605b398f