Skip to content

Commit ba8037e

Browse files
authored
Fix install of libkrb5-dev in CI (#323)
I've found that sometimes the package server IP addresses are out of date on the Actions Ubuntu environments until you `apt update`. I noticed that `master` had failed on this.
1 parent 8c6fc62 commit ba8037e

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

.github/workflows/main.yml

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -122,7 +122,9 @@ jobs:
122122
- name: Install Rust
123123
run: rustup update stable && rustup default stable
124124
- name: Install dependencies
125-
run: sudo apt install libkrb5-dev
125+
run: |
126+
sudo apt update
127+
sudo apt install libkrb5-dev
126128
- name: Build documentation
127129
run: cargo doc --no-deps --all-features
128130
- name: Publish documentation

0 commit comments

Comments
 (0)