Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md Coq Verification #23: Commit 3341819 pushed by afflom
February 20, 2025 18:02 7m 53s main
main
February 20, 2025 18:02 7m 53s
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 Coq Verification #22: Commit 54ef27f pushed by afflom
February 18, 2025 18:39 7m 19s main
main
February 18, 2025 18:39 7m 19s
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 Coq Verification #21: Commit 5cb3c2f pushed by afflom
February 17, 2025 22:55 7m 16s main
main
February 17, 2025 22:55 7m 16s
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
adjusting build cmd Coq Verification #20: Commit c740c4e pushed by afflom
February 17, 2025 22:47 7m 31s main
main
February 17, 2025 22:47 7m 31s
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
explicitly declar top file Coq Verification #19: Commit 30c305f pushed by afflom
February 17, 2025 22:30 7m 20s main
main
February 17, 2025 22:30 7m 20s
added second line in coqproject Coq Verification #18: Commit 667fe5d pushed by afflom
February 17, 2025 22:20 7m 12s main
main
February 17, 2025 22:20 7m 12s
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 Coq Verification #17: Commit 0d1eb4a pushed by afflom
February 17, 2025 22:07 7m 10s main
main
February 17, 2025 22:07 7m 10s
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
removed underscores Coq Verification #16: Commit 57d3849 pushed by afflom
February 17, 2025 21:57 7m 27s main
main
February 17, 2025 21:57 7m 27s
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
revert Coq Verification #15: Commit 11c3952 pushed by afflom
February 17, 2025 21:46 7m 47s main
main
February 17, 2025 21:46 7m 47s
added paths to mod root Coq Verification #14: Commit ff858a7 pushed by afflom
February 17, 2025 21:36 7m 15s main
main
February 17, 2025 21:36 7m 15s
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
added top file Coq Verification #13: Commit d58b0d6 pushed by afflom
February 17, 2025 21:06 7m 31s main
main
February 17, 2025 21:06 7m 31s
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
action uses lib name Coq Verification #12: Commit b0e64e3 pushed by afflom
February 17, 2025 20:45 7m 18s main
main
February 17, 2025 20:45 7m 18s
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