Rename Why3find package "prelude" to "creusot" (#1370) · creusot-rs/creusot@e13f4f6

Triggered via push February 20, 2025 09:43

Lysxia

master

Status Success

Total duration 2m 21s

Artifacts 3

deploy.yml

on: push

Produced during runtime