Skip to content

Commit 8f03679

Browse files
authored
Update infer.yml
1 parent 0a37f32 commit 8f03679

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

.github/workflows/infer.yml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -25,6 +25,10 @@ jobs:
2525
with:
2626
ocaml-compiler: 5
2727

28+
- name: Pin pyml to required version
29+
run: |
30+
opam pin add pyml 20220905 --yes
31+
2832
- name: Get current year/weak
2933
run: echo "year_week=$(date +'%Y_%U')" >> $GITHUB_ENV
3034

0 commit comments

Comments
 (0)