Skip to content

Actions: Matafou/LibHyps

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix Rocq dev compatibility and LibHyps logical mapping CI #57: Pull request #20 synchronize by JasonGross
Action required JasonGross:codex/rocq-dev-package
JasonGross:codex/rocq-dev-package
Action required
Fix Rocq dev compatibility and LibHyps logical mapping CI #56: Pull request #20 synchronize by JasonGross
Action required JasonGross:codex/rocq-dev-package
JasonGross:codex/rocq-dev-package
Action required
README + few more tests. CI #52: Commit 112b273 pushed by Matafou
2m 20s master
master
2m 20s
Documentation, README, demo. CI #51: Commit 3432f79 pushed by Matafou
2m 20s master
master
2m 20s
Merge pull request #17 from Matafou/ltac2 CI #50: Commit dee5ca8 pushed by Matafou
2m 12s master
master
2m 12s
Ltac2 version of Especialize CI #49: Pull request #17 synchronize by Matafou
2m 26s ltac2
ltac2
2m 26s
Ltac2 version of Especialize CI #48: Pull request #17 synchronize by Matafou
2m 23s ltac2
ltac2
2m 23s
Ltac2 version of Especialize CI #47: Pull request #17 synchronize by Matafou
2m 0s ltac2
ltac2
2m 0s
Ltac2 version of Especialize CI #46: Pull request #17 synchronize by Matafou
1m 58s ltac2
ltac2
1m 58s
Ltac2 version of Especialize CI #45: Pull request #17 synchronize by Matafou
2m 15s ltac2
ltac2
2m 15s
Ltac2 version of Especialize CI #44: Pull request #17 synchronize by Matafou
2m 9s ltac2
ltac2
2m 9s
Ltac2 version of Especialize CI #43: Pull request #17 synchronize by Matafou
2m 7s ltac2
ltac2
2m 7s
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