Skip to content
Rust

Fix missing source file in pindakaas-cadical #157

Sign in to view logs

Fix missing source file in pindakaas-cadical

Fix missing source file in pindakaas-cadical #157

Triggered via pull request April 4, 2024 06:10
@Dekker1Dekker1
opened #43
Dekker1:fix/cadical-link
Status Success
Total duration 1m 20s
Artifacts –

rust.yml

on: pull_request
test
1m 11s
test
clippy
1m 0s
clippy
format
21s
format
Fit to window
Zoom out
Zoom in