Skip to content

Commit ac3279c

Browse files
authored
CI: check lambdapi 2.2.1 (#6)
1 parent e072e1b commit ac3279c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/main.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ jobs:
88
strategy:
99
fail-fast: false
1010
matrix:
11-
lambdapi-version: [lambdapi.2.0.0, lambdapi.2.1.0, lambdapi.2.2.0, lambdapi]
11+
lambdapi-version: [lambdapi.2.0.0, lambdapi.2.1.0, lambdapi.2.2.0, lambdapi.2.2.1, lambdapi]
1212
runs-on: ubuntu-latest
1313
steps:
1414
- name: Check out library

0 commit comments

Comments
 (0)