Skip to content
Coq

make WeakestPrecondition.cmd complete wrt Semantics.exec (#361) #1153

Sign in to view logs

make WeakestPrecondition.cmd complete wrt Semantics.exec (#361)

make WeakestPrecondition.cmd complete wrt Semantics.exec (#361) #1153

Triggered via push August 11, 2023 17:14
@samuelgruettersamuelgruetter
pushed 4be89c9
master
Status Success
Total duration 1h 24m 36s
Artifacts –

coq.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in