8000 Logical functions aliases · creusot-rs/creusot@9a174b3 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Rust

Logical functions aliases #5154

Sign in to view logs

Logical functions aliases

Logical functions aliases #5154

Triggered via pull request June 4, 2025 12:10
@arnaudgolfousearnaudgolfouse
synchronize #1346
arnaudgolfouse:logical-functions-alias
Status Success
Total duration 6m 19s
Artifacts –

rust.yml

on: pull_request
fmt
26s
fmt
contracts-build
27s
contracts-build
contracts-build-stable
15s
contracts-build-stable
build
2m 45s
build
why3
5m 19s
why3
Matrix: install
Fit to window
Zoom out
Zoom in
0