Skip to content
CI

Implement Geoff's idea to have an option stating the users "intent" for invoking Vampire (i.e., proving / disproving) #1487

Sign in to view logs

Implement Geoff's idea to have an option stating the users "intent" for invoking Vampire (i.e., proving / disproving)

Implement Geoff's idea to have an option stating the users "intent" for invoking Vampire (i.e., proving / disproving) #1487

Triggered via pull request October 21, 2024 15:00
@quickbeam123quickbeam123
opened #616
martin-intent
Status Success
Total duration 15m 26s
Artifacts –

CI.yml

on: pull_request
build
15m 15s
build
Fit to window
Zoom out
Zoom in