7979 name : 🏗️ Dev dependencies
8080 runs-on : [self-hosted, nix]
8181 steps :
82- - uses : actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5
82+ - uses : actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6
8383 - name : 🏗️ Build dev dependencies
8484 run : nix build .#devDeps
8585 tests :
8989 - dev-deps
9090 if : ' !github.event.pull_request.draft'
9191 steps :
92- - uses : actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5
92+ - uses : actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6
9393 - name : 🧪 Run tests
9494 run : nix build ".#checks.$(nix eval --impure --expr 'builtins.currentSystem').tests"
9595 - name : 🧪 Run tests for external solver CaDiCaL
@@ -103,15 +103,15 @@ jobs:
103103 runs-on : [self-hosted, nix]
104104 if : ' !github.event.pull_request.draft'
105105 steps :
106- - uses : actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5
106+ - uses : actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6
107107 - name : 🏗️ Check MSRV builds
108108 run : nix build ".#checks.$(nix eval --impure --expr 'builtins.currentSystem').msrv"
109109 wasm-check :
110110 name : 🏄 WASM check
111111 runs-on : [self-hosted, nix]
112112 if : ' !github.event.pull_request.draft'
113113 steps :
114- - uses : actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5
114+ - uses : actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6
115115 - name : 🏄 Check WASM compatibility
116116 run : nix build ".#checks.$(nix eval --impure --expr 'builtins.currentSystem').wasm"
117117 code-quality :
@@ -120,7 +120,7 @@ jobs:
120120 needs :
121121 - dev-deps
122122 steps :
123- - uses : actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5
123+ - uses : actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6
124124 - name : ✨ Check formatting
125125 run : nix build ".#checks.$(nix eval --impure --expr 'builtins.currentSystem').treefmt"
126126 - name : ✨ Cargo deny bans licenses sources
@@ -142,8 +142,8 @@ jobs:
142142 runs-on : [self-hosted, nix]
143143 if : ' !github.event.pull_request.draft'
144144 steps :
145- - uses : actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5
146- - uses : actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5
145+ - uses : actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6
146+ - uses : actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6
147147 - name : ✨ Build Python API and check
148148 run : nix build ".#checks.$(nix eval --impure --expr 'builtins.currentSystem').pyapi"
149149 doc :
@@ -153,8 +153,8 @@ jobs:
153153 - dev-deps
154154 if : ' !github.event.pull_request.draft'
155155 steps :
156- - uses : actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5
157- - uses : actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5
156+ - uses : actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6
157+ - uses : actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6
158158 - name : ✨ Build doc
159159 run : nix build ".#checks.$(nix eval --impure --expr 'builtins.currentSystem').doc"
160160 - name : 🧪 Run doc tests
@@ -166,7 +166,7 @@ jobs:
166166 - tests
167167 - doc
168168 steps :
169- - uses : actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5
169+ - uses : actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6
170170 - name : ✨ Collect coverage reports
171171 run : |
172172 nix build .#testCoverage
@@ -185,7 +185,7 @@ jobs:
185185 - dev-deps
186186 if : " !github.event.pull_request.draft && contains(github.event.pull_request.labels.*.name, 'heavy-tests')"
187187 steps :
188- - uses : actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5
188+ - uses : actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6
189189 - name : ✨ Run feature powerset checks
190190 run : nix build ".#checks.$(nix eval --impure --expr 'builtins.currentSystem').featurePowerset"
191191 cadical-each-feature :
@@ -195,7 +195,7 @@ jobs:
195195 - dev-deps
196196 if : " !github.event.pull_request.draft && contains(github.event.pull_request.labels.*.name, 'solvers/cadical')"
197197 steps :
198- - uses : actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5
198+ - uses : actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6
199199 - name : 🧪 Test each feature
200200 run : nix develop ".#ci" --command cargo hack --each-feature --clean-per-run --exclude-features logging nextest run -p rustsat-cadical
201201 kissat-each-feature :
@@ -205,7 +205,7 @@ jobs:
205205 - dev-deps
206206 if : " !github.event.pull_request.draft && contains(github.event.pull_request.labels.*.name, 'solvers/kissat')"
207207 steps :
208- - uses : actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5
208+ - uses : actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6
209209 - name : 🧪 Test each feature
210210 run : nix develop ".#ci" --command cargo hack --each-feature --clean-per-run nextest run -p rustsat-kissat
211211 cadical-valgrind :
@@ -215,7 +215,7 @@ jobs:
215215 - dev-deps
216216 if : " !github.event.pull_request.draft && contains(github.event.pull_request.labels.*.name, 'solvers/cadical')"
217217 steps :
218- - uses : actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5
218+ - uses : actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6
219219 - name : 🧪 Tests through valgrind
220220 run : nix build ".#checks.$(nix eval --impure --expr 'builtins.currentSystem').cadicalValgrind"
221221 kissat-valgrind :
@@ -225,7 +225,7 @@ jobs:
225225 - dev-deps
226226 if : " !github.event.pull_request.draft && contains(github.event.pull_request.labels.*.name, 'solvers/kissat')"
227227 steps :
228- - uses : actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5
228+ - uses : actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6
229229 - name : 🧪 Tests through valgrind
230230 run : nix build ".#checks.$(nix eval --impure --expr 'builtins.currentSystem').kissatValgrind"
231231 minisat-valgrind :
@@ -235,7 +235,7 @@ jobs:
235235 - dev-deps
236236 if : " !github.event.pull_request.draft && contains(github.event.pull_request.labels.*.name, 'solvers/minisat')"
237237 steps :
238- - uses : actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5
238+ - uses : actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6
239239 - name : 🧪 Tests through valgrind
240240 run : nix build ".#checks.$(nix eval --impure --expr 'builtins.currentSystem').minisatValgrind"
241241 glucose-valgrind :
@@ -245,7 +245,7 @@ jobs:
245245 - dev-deps
246246 if : " !github.event.pull_request.draft && contains(github.event.pull_request.labels.*.name, 'solvers/glucose')"
247247 steps :
248- - uses : actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5
248+ - uses : actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6
249249 - name : 🧪 Tests through valgrind
250250 run : nix build ".#checks.$(nix eval --impure --expr 'builtins.currentSystem').glucoseValgrind"
251251 capi-valgrind :
@@ -255,6 +255,6 @@ jobs:
255255 - dev-deps
256256 if : " !github.event.pull_request.draft && contains(github.event.pull_request.labels.*.name, 'solvers/capi')"
257257 steps :
258- - uses : actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5
258+ - uses : actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6
259259 - name : 🧪 Tests through valgrind
260260 run : nix build ".#checks.$(nix eval --impure --expr 'builtins.currentSystem').capiValgrind"
0 commit comments