Skip some links in html-proofer

volkm · Jul 18, 2024 · abbe5a9 · abbe5a9
1 parent 2408a05
commit abbe5a9
Show file tree

Hide file tree

Showing 7 changed files with 15 additions and 1,843 deletions.
diff --git a/Rakefile b/Rakefile
@@ -4,5 +4,15 @@ task :test do
   sh "bundle exec jekyll build"
   HTMLProofer.check_directory('_site/', {
     assume_extension: ['.html'],
+    ignore_urls: [
+      # These urls lead to some errors in html-proofer and were manually checked to be valid
+      'https://qcomp.org/benchmarks/index.html#crowds',
+      'https://qcomp.org/benchmarks/index.html#jobs',
+      'http://fizzed.com/oss/font-mfizz',
+      'https://cavconference.org/2017/accepted-papers',
+      'https://www.cse.msu.edu/~cse870/Materials/FaultTolerant/manual-galileo.htm#Editing%20in%20the%20Textual%20View',
+      'https://getfem.org/gmm.html',
+      'https://tempest-synthesis.org',
+    ],
   }).run
 end
diff --git a/_posts/2017-04-13-cav.md b/_posts/2017-04-13-cav.md
@@ -5,7 +5,7 @@ date:   2017-04-13 00:01:00 +0200
 tags: ['publication']
 ---
 
-We are delighted that a tool-paper describing Storm has been accepted for presentation at [Computer Aided Verification 2017](https://cavconference.org/2017/accepted-papers/) in Heidelberg, Germany.
+We are delighted that a tool-paper describing Storm has been accepted for presentation at [Computer Aided Verification 2017](https://cavconference.org/2017/accepted-papers) in Heidelberg, Germany.
 
 <!--more-->