Skip to content

Commit 23eb104

Browse files
committed
Fix CI
1 parent d7c8d0b commit 23eb104

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

ci/Jenkinsfile

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,6 @@
1-
website()
1+
website([
2+
website: 'igis.devtty.eu',
3+
record: '_dnslink',
4+
disable_publish: true
5+
])
26

0 commit comments

Comments
 (0)