Add basic support for RPIT (#1351) #4840
xldenisrust.yml
on: push
fmt
24s
contracts-build
40s
contracts-build-stable
10s
build
3m 10s
why3
15s
Matrix: install
Annotations
4 errors
|
install (ubuntu-latest)
Failed to find any opam release that matches the specified version constraint. Please check your version requirements or consider allowing pre-releases.
|
|
why3
Failed to find any opam release that matches the specified version constraint. Please check your version requirements or consider allowing pre-releases.
|
|
install (macos-latest)
The operation was canceled.
|
|
install (macos-latest)
The strategy configuration was canceled because "install.ubuntu-latest" failed
|