Skip to content

Actions: Matafou/LibHyps

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed a few comments in the demo. CI #20: Commit f39fd1e pushed by Matafou
December 20, 2024 09:31 2m 34s master
master
December 20, 2024 09:31 2m 34s
Adapted the readme to the new "especialize with' syntax. CI #19: Commit 2fa192c pushed by Matafou
December 20, 2024 09:27 2m 33s master
master
December 20, 2024 09:27 2m 33s
udpate opam file to support coq-8.21~ CI #18: Commit 4503113 pushed by Matafou
December 19, 2024 14:42 2m 43s master
master
December 19, 2024 14:42 2m 43s
Removed a few tests that don't work on coq<8.18. CI #17: Commit f08c3f2 pushed by Matafou
December 19, 2024 13:33 2m 22s master
master
December 19, 2024 13:33 2m 22s
Fix coq version in opam config. CI #16: Commit 2ddf52a pushed by Matafou
December 19, 2024 12:22 2m 21s master
master
December 19, 2024 12:22 2m 21s
Fix fir older coq versions. CI #15: Commit 4ca8785 pushed by Matafou
December 19, 2024 10:30 2m 21s master
master
December 19, 2024 10:30 2m 21s
especialize now must ecplicitely cite created evars. CI #14: Commit b77120e pushed by Matafou
December 18, 2024 21:52 2m 20s master
master
December 18, 2024 21:52 2m 20s
Same player try again. CI #13: Commit 1aa8bb5 pushed by Matafou
December 17, 2023 15:01 2m 15s master
master
December 17, 2023 15:01 2m 15s
Fix again. CI #12: Commit ad47f7a pushed by Matafou
December 17, 2023 14:45 Failure master
master
December 17, 2023 14:45 Failure
Fixing workflow. CI #11: Commit df27e5d pushed by Matafou
December 17, 2023 14:41 2m 4s master
master
December 17, 2023 14:41 2m 4s
Fixing Required LibSpecialize. CI #10: Commit 2f83eaf pushed by Matafou
December 17, 2023 14:40 1s master
master
December 17, 2023 14:40 1s
New attempt at fixing ci-libhyps.yml CI #9: Commit 775b9f2 pushed by Matafou
December 15, 2023 17:40 2m 7s master
master
December 15, 2023 17:40 2m 7s
Fixing ci-libhyps.yml CI #8: Commit 8f283ed pushed by Matafou
December 15, 2023 16:52 4m 2s master
master
December 15, 2023 16:52 4m 2s
Update ci-libhyps.yml to use coq_makefile CI #7: Commit 93ef758 pushed by Matafou
December 15, 2023 13:37 3m 24s master
master
December 15, 2023 13:37 3m 24s
Un plugging especialize because it does not work in coq-8.18. CI #6: Commit 5168a2d pushed by Matafou
December 15, 2023 07:18 1m 22s master
master
December 15, 2023 07:18 1m 22s
Update coq-libhyps.opam to coq 8.19. CI #5: Commit 89ef46d pushed by Matafou
November 21, 2023 16:49 3m 38s master
master
November 21, 2023 16:49 3m 38s
Update ci-libhyps.yml to enable tests CI #4: Commit 4b70775 pushed by Matafou
November 21, 2023 14:58 1m 47s master
master
November 21, 2023 14:58 1m 47s
Create ci-libhyps.yml CI #1: Commit 8cadd60 pushed by Matafou
November 21, 2023 14:01 1m 46s master
master
November 21, 2023 14:01 1m 46s