Add difference operation in Fset (#1420) #4857
rust.yml
on: push
fmt
36s
contracts-build
29s
contracts-build-stable
18s
build
3m 2s
why3
8m 45s
Matrix: install