Skip to content

Actions: rocq-community/templates

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add instructions to use opam to install dependencies (#141) Yaml Lint #347: Commit 2e6376e pushed by Zimmi48
18s master
master
18s
add instructions to use opam to install dependencies Yaml Lint #346: Pull request #141 synchronize by Zimmi48
17s ybertot:local-make-dependencies
ybertot:local-make-dependencies
17s
add instructions to use opam to install dependencies Yaml Lint #345: Pull request #141 opened by ybertot
17s ybertot:local-make-dependencies
ybertot:local-make-dependencies
17s
Change ci_test_dependants to require an explicit allow-list Yaml Lint #344: Pull request #139 synchronize by Lysxia
18s Lysxia:test-dependants
Lysxia:test-dependants
18s
Merge pull request #140 from rocq-community/opam-repo Yaml Lint #343: Commit 776a671 pushed by palmskog
32s master
master
32s
Update the information of the opam repository in README Yaml Lint #342: Pull request #140 opened by pi8027
16s opam-repo
opam-repo
16s
Update the information of the opam repository in README Yaml Lint #341: Commit 148896d pushed by pi8027
13s opam-repo
opam-repo
13s
Change ci_test_dependants to require an explicit allow-list Yaml Lint #340: Pull request #139 synchronize by Lysxia
16s Lysxia:test-dependants
Lysxia:test-dependants
16s
Change ci_test_dependants to require an explicit allow-list Yaml Lint #339: Pull request #139 opened by Lysxia
16s Lysxia:test-dependants
Lysxia:test-dependants
16s
Coq -> Rocq renaming (#136) Yaml Lint #338: Commit 4911ad0 pushed by Zimmi48
13s master
master
13s
Coq -> Rocq renaming Yaml Lint #337: Pull request #136 synchronize by Zimmi48
13s renaming
renaming
13s
Fix spelling. Yaml Lint #336: Commit 9e84f1a pushed by Zimmi48
13s renaming
renaming
13s
Coq -> Rocq renaming Yaml Lint #335: Pull request #136 opened by pi8027
15s renaming
renaming
15s
Coq -> Rocq renaming Yaml Lint #334: Commit e3fea29 pushed by pi8027
17s renaming
renaming
17s
Merge pull request #135 from Durbatuluk1701/rocq_compat Yaml Lint #333: Commit b9d5901 pushed by Zimmi48
19s master
master
19s
Adding Rocq Opam Version Support Yaml Lint #332: Pull request #135 opened by Durbatuluk1701
15s Durbatuluk1701:rocq_compat
Durbatuluk1701:rocq_compat
15s