Mercurial > vim

annotate .cirrus.yml @ 34581:c8fbf6dd031b v9.1.0187

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
patch 9.1.0187: filetype: no support for Dafny files Commit: https://github.com/vim/vim/commit/4e334d0443f28f4e749dbef38d686d0dd19122de Author: zeertzjq <zeertzjq@outlook.com> Date: Mon Mar 18 19:21:48 2024 +0100 patch 9.1.0187: filetype: no support for Dafny files Problem: Dafny files are not recognized. Solution: Recognize *.dfy files as filetype "dafny" (zeertzjq). Ref: https://dafny.org/ Ref: https://github.com/mlr-msft/vim-loves-dafny closes: #14226 Signed-off-by: zeertzjq <zeertzjq@outlook.com> Signed-off-by: Christian Brabandt <cb@256bit.org>
author Christian Brabandt <cb@256bit.org>
date Mon, 18 Mar 2024 19:30:08 +0100
parents 4cffda5da6f4
children 956a5fa10aaa
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
33450
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
1 env:
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
2 CIRRUS_CLONE_DEPTH: 3
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
3 FEATURES: huge
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
4
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
5 freebsd_task:
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
6 name: FreeBSD
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
7 matrix:
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
8 - name: FreeBSD 14.0
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
9 freebsd_instance:
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
10 image_family: freebsd-14-0
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
11 timeout_in: 20m
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
12 install_script:
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
13 - pkg install -y gettext
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
14 build_script:
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
15 - NPROC=$(getconf _NPROCESSORS_ONLN)
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
16 - ./configure --with-features=${FEATURES}
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
17 - make -j${NPROC}
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
18 test_script:
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
19 - src/vim --version
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
20 # run tests as user "cirrus" instead of root
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
21 - pw useradd cirrus -m
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
22 - chown -R cirrus:cirrus .
4cffda5da6f4 patch 9.0.1979: Cirrus CI disabled
Christian Brabandt <cb@256bit.org>
parents: 33293
diff changeset
23 - sudo -u cirrus make test