Skip to content

Actions: Matafou/LibHyps

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixing implicits detection in auto-naming heuristic. CI #42: Commit cec928b pushed by Matafou
2m 24s coq-8
coq-8
2m 24s
Ltac2 version of Especialize CI #41: Pull request #17 synchronize by Matafou
2m 12s ltac2
ltac2
2m 12s
Ltac2 version of Especialize CI #40: Pull request #17 synchronize by Matafou
2m 11s ltac2
ltac2
2m 11s
Ltac2 version of Especialize CI #39: Pull request #17 synchronize by Matafou
1m 57s ltac2
ltac2
1m 57s
Ltac2 version of Especialize CI #38: Pull request #17 synchronize by Matafou
2m 29s ltac2
ltac2
2m 29s
Ltac2 version of Especialize CI #37: Pull request #17 opened by Matafou
2m 18s ltac2
ltac2
2m 18s
Triger tests in CI. CI #36: Commit ded4728 pushed by Matafou
2m 21s master
master
2m 21s
Trigger tests in CI. CI #35: Commit 23c003e pushed by Matafou
2m 23s coq-8
coq-8
2m 23s
Fix opam file name in CI. CI #34: Commit cc3fe77 pushed by Matafou
2m 32s coq-8
coq-8
2m 32s
Cleaning and adapting CI. CI #33: Commit e55e6c4 pushed by Matafou
1m 35s coq-8
coq-8
1m 35s
Fix dependency inopam file. CI #32: Commit 6d38168 pushed by Matafou
2m 26s master
master
2m 26s
More coq versions to test. CI #31: Commit 9c974f2 pushed by Matafou
2m 16s master
master
2m 16s
CI again. CI #30: Commit dba4c42 pushed by Matafou
2m 49s master
master
2m 49s
Syntax error in CI. CI #29: Commit 0a0814b pushed by Matafou
2m 23s master
master
2m 23s
Fix CI again?? CI #28: Commit b2ad65f pushed by Matafou
Failure master
master
Failure
Fix CI?. CI #27: Commit e1f8bc5 pushed by Matafou
Failure master
master
Failure
Only one version of coq in CI. CI #26: Commit 82e0603 pushed by Matafou
2m 22s master
master
2m 22s
Limit coq versions combinations in CI. CI #25: Commit f76f035 pushed by Matafou
Failure master
master
Failure
Adopt rocq CLI. CI #24: Commit 5cbe904 pushed by Matafou
1m 59s master
master
1m 59s
Fix tests. CI #23: Commit 82eca6e pushed by Matafou
2m 12s master
master
2m 12s
Updating tests to rocq-9 CI #22: Commit d472e0b pushed by Matafou
11m 28s master
master
11m 28s
Fix Makefile. CI #21: Commit 8a22d58 pushed by Matafou
31s master
master
31s
Fixed a few comments in the demo. CI #20: Commit f39fd1e pushed by Matafou
2m 34s master
master
2m 34s
Adapted the readme to the new "especialize with' syntax. CI #19: Commit 2fa192c pushed by Matafou
2m 33s master
master
2m 33s
udpate opam file to support coq-8.21~ CI #18: Commit 4503113 pushed by Matafou
2m 43s master
master
2m 43s