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

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

Sign in to view logs

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

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

Triggered via schedule March 2, 2026 07:45
@dmzimmermandmzimmerman
⁠ 436969e
main
Status Success
Total duration 1m 14s
Artifacts 1

test-validity-of-refinements-paper.yml

on: schedule
Run Latexmk on Paper
1m 10s
Run Latexmk on Paper
Fit to window
Zoom out
Zoom in

Artifacts

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