Skip to content

Actions: UOR-Foundation/UOR-H1-HPO-Candidate

Actions

Compile and Publish LaTeX

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
latex.yml
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md Compile and Publish LaTeX #33: Commit 3341819 pushed by afflom
February 20, 2025 18:02 8m 18s main
main
February 20, 2025 18:02 8m 18s
added target spec and layout Compile and Publish LaTeX #32: Commit 54ef27f pushed by afflom
February 18, 2025 18:39 8m 24s main
main
February 18, 2025 18:39 8m 24s
without the exports Compile and Publish LaTeX #31: Commit 5cb3c2f pushed by afflom
February 17, 2025 22:55 6m 34s main
main
February 17, 2025 22:55 6m 34s
adjusting build cmd Compile and Publish LaTeX #30: Commit c740c4e pushed by afflom
February 17, 2025 22:47 6m 10s main
main
February 17, 2025 22:47 6m 10s
explicitly declar top file Compile and Publish LaTeX #29: Commit 30c305f pushed by afflom
February 17, 2025 22:30 6m 37s main
main
February 17, 2025 22:30 6m 37s
added second line in coqproject Compile and Publish LaTeX #28: Commit 667fe5d pushed by afflom
February 17, 2025 22:20 8m 4s main
main
February 17, 2025 22:20 8m 4s
missed variable in refactor Compile and Publish LaTeX #27: Commit 0d1eb4a pushed by afflom
February 17, 2025 22:07 6m 13s main
main
February 17, 2025 22:07 6m 13s
removed underscores Compile and Publish LaTeX #26: Commit 57d3849 pushed by afflom
February 17, 2025 21:57 7m 8s main
main
February 17, 2025 21:57 7m 8s
revert Compile and Publish LaTeX #25: Commit 11c3952 pushed by afflom
February 17, 2025 21:46 6m 28s main
main
February 17, 2025 21:46 6m 28s
added paths to mod root Compile and Publish LaTeX #24: Commit ff858a7 pushed by afflom
February 17, 2025 21:36 8m 8s main
main
February 17, 2025 21:36 8m 8s
added top file Compile and Publish LaTeX #23: Commit d58b0d6 pushed by afflom
February 17, 2025 21:06 8m 30s main
main
February 17, 2025 21:06 8m 30s
action uses lib name Compile and Publish LaTeX #22: Commit b0e64e3 pushed by afflom
February 17, 2025 20:45 6m 35s main
main
February 17, 2025 20:45 6m 35s
correct imports Compile and Publish LaTeX #21: Commit 5d0d2b0 pushed by afflom
February 17, 2025 20:37 8m 25s main
main
February 17, 2025 20:37 8m 25s
Create _CoqProject Compile and Publish LaTeX #20: Commit 06197b1 pushed by afflom
February 17, 2025 20:32 8m 8s main
main
February 17, 2025 20:32 8m 8s
Update coq.yml Compile and Publish LaTeX #19: Commit 5bde5a9 pushed by afflom
February 17, 2025 20:14 6m 35s main
main
February 17, 2025 20:14 6m 35s
Update coq.yml Compile and Publish LaTeX #18: Commit 51ba65c pushed by afflom
February 17, 2025 20:01 6m 13s main
main
February 17, 2025 20:01 6m 13s
Update coq.yml Compile and Publish LaTeX #17: Commit 54dedf6 pushed by afflom
February 17, 2025 19:31 6m 24s main
main
February 17, 2025 19:31 6m 24s
Update coq.yml Compile and Publish LaTeX #16: Commit 93a1609 pushed by afflom
February 17, 2025 19:19 9m 33s main
main
February 17, 2025 19:19 9m 33s
Update coq.yml Compile and Publish LaTeX #15: Commit f0a9070 pushed by afflom
February 17, 2025 18:45 6m 19s main
main
February 17, 2025 18:45 6m 19s
Update coq.yml Compile and Publish LaTeX #14: Commit 2786939 pushed by afflom
February 17, 2025 18:37 5m 54s main
main
February 17, 2025 18:37 5m 54s
Update coq.yml Compile and Publish LaTeX #13: Commit b6189ff pushed by afflom
February 17, 2025 18:35 6m 9s main
main
February 17, 2025 18:35 6m 9s
Update coq.yml Compile and Publish LaTeX #12: Commit 0443c9a pushed by afflom
February 17, 2025 18:33 8m 23s main
main
February 17, 2025 18:33 8m 23s
Update and rename coq.yaml to coq.yml Compile and Publish LaTeX #11: Commit 0308cf2 pushed by afflom
February 17, 2025 18:30 7m 51s main
main
February 17, 2025 18:30 7m 51s
Create coq.yaml Compile and Publish LaTeX #10: Commit 4997c4e pushed by afflom
February 17, 2025 18:27 8m 31s main
main
February 17, 2025 18:27 8m 31s
Update README.md Compile and Publish LaTeX #9: Commit f354345 pushed by afflom
February 17, 2025 16:14 9m 51s main
main
February 17, 2025 16:14 9m 51s