Skip to content
Compile blueprint

Use Vampire to resolve almost all unknown implications (without proof) #734

Sign in to view logs

Use Vampire to resolve almost all unknown implications (without proof)

Use Vampire to resolve almost all unknown implications (without proof) #734

Triggered via pull request October 3, 2024 13:49
@Command-MasterCommand-Master
synchronize #230
Command-Master:CM_vampire2
Status Cancelled
Total duration 36s
Artifacts –

blueprint.yml

on: pull_request
Build project
16s
Build project
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build project
Canceling since a higher priority waiting request for 'refs/pull/230/merge' exists
Build project
The operation was canceled.