chore: Temporarily disable faulty post (#38)

dafny-lang · Dec 26, 2024 · db1b3ed · db1b3ed
1 parent 6069d9b
commit db1b3ed
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/Gemfile b/Gemfile
@@ -9,7 +9,7 @@ source "https://rubygems.org"
 # gem "github-pages", "~> 228", group: :jekyll_plugins
 gem "jekyll", "~> 4.3.3"
 # This is the default theme for new Jekyll sites. You may change this to anything you like.
-gem "minima", "~> 2.5.1"
+gem "minima", "~> 2.5.2"
 # If you want to use GitHub Pages, remove the "gem "jekyll"" above and
 # uncomment the line below. To upgrade, run `bundle update github-pages`.
 # gem "github-pages", group: :jekyll_plugins

diff --git a/Gemfile.lock b/Gemfile.lock
@@ -50,7 +50,7 @@ GEM
       rb-fsevent (~> 0.10, >= 0.10.3)
       rb-inotify (~> 0.9, >= 0.9.10)
     mercenary (0.4.0)
-    minima (2.5.1)
+    minima (2.5.2)
       jekyll (>= 3.5, < 5.0)
       jekyll-feed (~> 0.9)
       jekyll-seo-tag (~> 2.1)
@@ -83,7 +83,7 @@ DEPENDENCIES
   http_parser.rb (~> 0.6.0)
   jekyll (~> 4.3.3)
   jekyll-feed (~> 0.12)
-  minima (~> 2.5.1)
+  minima (~> 2.5.2)
   tzinfo (>= 1, < 3)
   tzinfo-data
   wdm (~> 0.1.1)

diff --git a/_posts/2023-10-11-insertion-sort.markdown b/_posts/2023-10-11-insertion-sort.markdown
@@ -4,6 +4,7 @@ title:  "Verifying Selection Sort: an Introduction to Program Verification in Da
 author: Jean-Baptiste Tristan
 date:   2023-10-11 11:00:00 -0500
 categories:
+published: false
 ---
 
 {% include insertion-sort.html %}