@@ -45,17 +45,17 @@ jobs:
45
45
working-directory : tools/witx
46
46
- name : Check that docs reflect witx (Ephemeral)
47
47
run : >
48
- witx docs --check \
49
- ../../phases/ephemeral/witx/wasi_ephemeral_args.witx \
50
- ../../phases/ephemeral/witx/wasi_ephemeral_clock.witx \
51
- ../../phases/ephemeral/witx/wasi_ephemeral_environ.witx \
52
- ../../phases/ephemeral/witx/wasi_ephemeral_fd.witx \
53
- ../../phases/ephemeral/witx/wasi_ephemeral_path.witx \
54
- ../../phases/ephemeral/witx/wasi_ephemeral_poll.witx \
55
- ../../phases/ephemeral/witx/wasi_ephemeral_proc.witx \
56
- ../../phases/ephemeral/witx/wasi_ephemeral_random.witx \
57
- ../../phases/ephemeral/witx/wasi_ephemeral_sched.witx \
58
- ../../phases/ephemeral/witx/wasi_ephemeral_sock.witx \
48
+ witx docs --check
49
+ ../../phases/ephemeral/witx/wasi_ephemeral_args.witx
50
+ ../../phases/ephemeral/witx/wasi_ephemeral_clock.witx
51
+ ../../phases/ephemeral/witx/wasi_ephemeral_environ.witx
52
+ ../../phases/ephemeral/witx/wasi_ephemeral_fd.witx
53
+ ../../phases/ephemeral/witx/wasi_ephemeral_path.witx
54
+ ../../phases/ephemeral/witx/wasi_ephemeral_poll.witx
55
+ ../../phases/ephemeral/witx/wasi_ephemeral_proc.witx
56
+ ../../phases/ephemeral/witx/wasi_ephemeral_random.witx
57
+ ../../phases/ephemeral/witx/wasi_ephemeral_sched.witx
58
+ ../../phases/ephemeral/witx/wasi_ephemeral_sock.witx
59
59
--output ../../phases/ephemeral/docs.md
60
60
working-directory : tools/witx
61
61
0 commit comments