Skip to content
Test Generated Rust

update CI to Coq 8.16, and remove Ubuntu LTS because we now have Debian #4471

Sign in to view logs

update CI to Coq 8.16, and remove Ubuntu LTS because we now have Debian

update CI to Coq 8.16, and remove Ubuntu LTS because we now have Debian #4471

Triggered via pull request August 12, 2023 19:10
@samuelgruettersamuelgruetter
opened #1633
drop8.15
Status Success
Total duration 5m 34s
Artifacts –

rust.yml

on: pull_request
test-rust
5m 22s
test-rust
Fit to window
Zoom out
Zoom in