Skip to content

Commit

Permalink
test: ci
Browse files Browse the repository at this point in the history
  • Loading branch information
peter-jerry-ye committed Mar 25, 2024
1 parent 11a071a commit cd44a86
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 5 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/mdlint.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ jobs:
run: /bin/bash -c "$(curl -fsSL https://cli.moonbitlang.com/ubuntu_x86_64_moon_setup.sh)"

- name: Get changed files
id: changed-fiels
id: changed-files
uses: tj-actions/changed-files@v43

- name: Run mdlint
Expand Down
8 changes: 4 additions & 4 deletions course2/lec2_script.md
Original file line number Diff line number Diff line change
Expand Up @@ -61,11 +61,11 @@ fn num_water_bottles(num_bottles: Int, num_exchange: Int) -> Int {
consume(num_bottles, 0)
}
// 程序入口
fn init {
// 程序测试
test {
// 命令
assert(num_water_bottles(9, 3) == 13)
assert(num_water_bottles(15, 4) == 19)
@assertion.assert_eq(num_water_bottles(9, 3), 13)?
@assertion.assert_eq(num_water_bottles(15, 4), 19)?
}
```

Expand Down

0 comments on commit cd44a86

Please sign in to comment.