Skip to content

Actions: uds-psl/coq-library-undecidability

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 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
Import an update from rocq-9.2 branch (#248) coq-library-undecidability CI #793: Commit b6c7127 pushed by DmxLarchey
6m 12s master
master
6m 12s
Import an update from rocq-9.2 branch coq-library-undecidability CI #792: Pull request #248 synchronize by DmxLarchey
6m 7s DmxLarchey:from_9.2
DmxLarchey:from_9.2
6m 7s
Import an update from rocq-9.2 branch coq-library-undecidability CI #791: Pull request #248 opened by DmxLarchey
6m 7s DmxLarchey:from_9.2
DmxLarchey:from_9.2
6m 7s
updated rules in BI.v, left introduction rule for bot was too weak (#… coq-library-undecidability CI #790: Commit 7234ce1 pushed by DmxLarchey
5m 34s rocq-9.2
rocq-9.2
5m 34s
updated rules in BI.v, left introduction rule for bot was too weak coq-library-undecidability CI #789: Pull request #247 opened by DmxLarchey
6m 2s DmxLarchey:rule_bot
DmxLarchey:rule_bot
6m 2s
Documentation about BI (#246) coq-library-undecidability CI #788: Commit 5e19a9f pushed by DmxLarchey
6m 8s master
master
6m 8s
Documentation about BI coq-library-undecidability CI #787: Pull request #246 synchronize by DmxLarchey
6m 1s DmxLarchey:DOC_BI
DmxLarchey:DOC_BI
6m 1s
Documentation about BI coq-library-undecidability CI #786: Pull request #246 synchronize by DmxLarchey
6m 8s DmxLarchey:DOC_BI
DmxLarchey:DOC_BI
6m 8s
Documentation about BI coq-library-undecidability CI #785: Pull request #246 synchronize by DmxLarchey
6m 12s DmxLarchey:DOC_BI
DmxLarchey:DOC_BI
6m 12s
Documentation about BI coq-library-undecidability CI #784: Pull request #246 opened by DmxLarchey
3m 11s DmxLarchey:DOC_BI
DmxLarchey:DOC_BI
3m 11s
Documentation for the contribution about the logic BI (#245) coq-library-undecidability CI #783: Commit cc0813a pushed by DmxLarchey
5m 59s rocq-9.2
rocq-9.2
5m 59s
Documentation for the contribution about the logic BI coq-library-undecidability CI #782: Pull request #245 synchronize by DmxLarchey
5m 36s DmxLarchey:READMEs
DmxLarchey:READMEs
5m 36s
Documentation for the contribution about the logic BI coq-library-undecidability CI #781: Pull request #245 opened by DmxLarchey
5m 59s DmxLarchey:READMEs
DmxLarchey:READMEs
5m 59s
prepare for 9.2 release coq-library-undecidability CI #780: Commit 5d3fad1 pushed by mrhaandi
6m 0s rocq-9.2
rocq-9.2
6m 0s
Merge pull request #240 from DmxLarchey/bunched_implications coq-library-undecidability CI #779: Commit 1149eef pushed by mrhaandi
5m 53s master
master
5m 53s
The undecidability of the logic BI of Bunched Implication (intuitionistic version) coq-library-undecidability CI #778: Pull request #240 synchronize by DmxLarchey
6m 14s DmxLarchey:bunched_implications
DmxLarchey:bunched_implications
6m 14s
The undecidability of the logic BI of Bunched Implication (intuitionistic version) coq-library-undecidability CI #777: Pull request #240 synchronize by DmxLarchey
3m 6s DmxLarchey:bunched_implications
DmxLarchey:bunched_implications
3m 6s
The undecidability of the logic BI of Bunched Implication (intuitionistic version) coq-library-undecidability CI #776: Pull request #240 synchronize by DmxLarchey
6m 10s DmxLarchey:bunched_implications
DmxLarchey:bunched_implications
6m 10s
The undecidability of the logic BI of Bunched Implication (intuitionistic version) coq-library-undecidability CI #775: Pull request #240 synchronize by DmxLarchey
6m 0s DmxLarchey:bunched_implications
DmxLarchey:bunched_implications
6m 0s
The undecidability of the logic BI of Bunched Implication (intuitionistic version) coq-library-undecidability CI #774: Pull request #240 synchronize by DmxLarchey
1m 50s DmxLarchey:bunched_implications
DmxLarchey:bunched_implications
1m 50s
The undecidability of the logic BI of Bunched Implication (intuitionistic version) coq-library-undecidability CI #773: Pull request #240 synchronize by DmxLarchey
5m 58s DmxLarchey:bunched_implications
DmxLarchey:bunched_implications
5m 58s
The undecidability of the logic BI of Bunched Implication (intuitionistic version) coq-library-undecidability CI #772: Pull request #240 synchronize by DmxLarchey
9m 7s DmxLarchey:bunched_implications
DmxLarchey:bunched_implications
9m 7s
The undecidability of the logic BI of Bunched Implication (intuitionistic version) coq-library-undecidability CI #771: Pull request #240 synchronize by DmxLarchey
8m 30s DmxLarchey:bunched_implications
DmxLarchey:bunched_implications
8m 30s
Merge pull request #244 from mrhaandi/fix-9.2-rewrite-hintdb coq-library-undecidability CI #770: Commit 51f20c8 pushed by mrhaandi
9m 2s master
master
9m 2s
Fix several warnings on implicitly declaring Rewrite hint databases coq-library-undecidability CI #769: Pull request #244 opened by mrhaandi
8m 20s mrhaandi:fix-9.2-rewrite-hintdb
mrhaandi:fix-9.2-rewrite-hintdb
8m 20s