Skip to content

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

Actions

Coq Verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq.yml
23 workflow runs
23 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
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
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
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 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
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
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 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 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 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 Coq Verification #11: Commit 5d0d2b0 pushed by afflom
February 17, 2025 20:37 7m 17s main
main
February 17, 2025 20:37 7m 17s
Create _CoqProject Coq Verification #10: Commit 06197b1 pushed by afflom
February 17, 2025 20:32 7m 15s main
main
February 17, 2025 20:32 7m 15s
Update coq.yml Coq Verification #9: Commit 5bde5a9 pushed by afflom
February 17, 2025 20:14 7m 20s main
main
February 17, 2025 20:14 7m 20s
Update coq.yml Coq Verification #8: Commit 51ba65c pushed by afflom
February 17, 2025 20:01 5m 42s main
main
February 17, 2025 20:01 5m 42s
Update coq.yml Coq Verification #7: Commit 54dedf6 pushed by afflom
February 17, 2025 19:31 5m 32s main
main
February 17, 2025 19:31 5m 32s
Update coq.yml Coq Verification #6: Commit 93a1609 pushed by afflom
February 17, 2025 19:19 5m 34s main
main
February 17, 2025 19:19 5m 34s
Update coq.yml Coq Verification #5: Commit f0a9070 pushed by afflom
February 17, 2025 18:45 5m 20s main
main
February 17, 2025 18:45 5m 20s
Update coq.yml Coq Verification #4: Commit 2786939 pushed by afflom
February 17, 2025 18:37 5m 27s main
main
February 17, 2025 18:37 5m 27s
Update coq.yml Coq Verification #3: Commit b6189ff pushed by afflom
February 17, 2025 18:35 52s main
main
February 17, 2025 18:35 52s
Update coq.yml Coq Verification #2: Commit 0443c9a pushed by afflom
February 17, 2025 18:33 9s main
main
February 17, 2025 18:33 9s
Update and rename coq.yaml to coq.yml Coq Verification #1: Commit 0308cf2 pushed by afflom
February 17, 2025 18:30 9s main
main
February 17, 2025 18:30 9s