Show ocaml version in https://github.com/tlaplus/tlapm/actions/workflows.

tlaplus / tlapm

The TLA Proof Manager

https://proofs.tlapl.us/

BSD 2-Clause "Simplified" License

67 stars 20 forks source link

Show ocaml version in https://github.com/tlaplus/tlapm/actions/workflows. #138

Closed lemmy closed 5 months ago

lemmy commented 5 months ago

Do not run python to translate an opaque array index into a meaningful ocaml version number. Moreover, commit 5e71b24db228d2b7ef4d25e4cbaadb3e80206912 revealed a problem with this; it introduced an out-of-bounds read.

[Build]