Codestin Search App

Thanks to visit codestin.com
Credit goes to github.com

Actions

All workflows
Workflows
- Manually runnable workflow Manually runnable workflow
- Reusable workflow for compilation, tests, installation and examples, from sources Reusable workflow for compilation, tests, installation and examples, from sources
- Reusable workflow for installation and examples, from opam Reusable workflow for installation and examples, from opam
- Workflow for pull request on master version of Coq Workflow for pull request on master version of Coq
- Workflow for pull request on released versions of Coq Workflow for pull request on released versions of Coq
- Workflow for push on master version of Coq Workflow for push on master version of Coq
- Workflow for push on released versions of Coq Workflow for push on released versions of Coq
Management
- Caches
- Deployments

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

11 workflow runs

11 workflow runs

Adapt to rocq-prover/rocq#21129. (#156) Workflow for push on master version of Coq #20: Commit eb8e552 pushed by ckeller

3m 17s coq-master

coq-master

3m 17s

Adapt to rocq-prover/rocq#21129. Workflow for pull request on master version of Coq #14: Pull request #156 opened by ppedrot

3m 33s ppedrot:intuition-stop-using-auto-with-star

ppedrot:intuition-stop-using-auto-with-star

3m 33s

Adapt to https://github.com/rocq-prover/stdlib/pull/207 Workflow for pull request on master version of Coq #13: Pull request #155 opened by proux01

4m 16s proux01:stdlib207

proux01:stdlib207

4m 16s

Merge branch 'coq-8.19' into coq-8.20 Workflow for push on released versions of Coq #32: Commit 1af06f1 pushed by ckeller

3m 36s coq-8.20

coq-8.20

3m 36s

Merge branch 'coq-8.18' into coq-8.19 Workflow for push on released versions of Coq #31: Commit b5d02a9 pushed by ckeller

15m 2s coq-8.19

coq-8.19

15m 2s

Merge branch 'coq-8.17' into coq-8.18 Workflow for push on released versions of Coq #30: Commit 1552f6e pushed by ckeller

15m 31s coq-8.18

coq-8.18

15m 31s

Merge branch 'coq-8.16' into coq-8.17 Workflow for push on released versions of Coq #29: Commit a45923e pushed by ckeller

15m 47s coq-8.17

coq-8.17

15m 47s

Merge branch 'coq-8.15' into coq-8.16 Workflow for push on released versions of Coq #28: Commit 086c05f pushed by ckeller

17m 7s coq-8.16

coq-8.16

17m 7s

Merge branch 'coq-8.14' into coq-8.15 Workflow for push on released versions of Coq #27: Commit cace9fa pushed by ckeller

17m 0s coq-8.15

coq-8.15

17m 0s

Merge branch 'coq-8.13' into coq-8.14 Workflow for push on released versions of Coq #26: Commit 863fc86 pushed by ckeller

17m 23s coq-8.14

coq-8.14

17m 23s

CI for 8.20 Workflow for push on released versions of Coq #25: Commit a49ae0e pushed by ckeller

13m 28s coq-8.13

coq-8.13

13m 28s