Skip to content
Lint Style

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

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) #748

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

lint.yml

on: pull_request
style_lint
0s
style_lint
Fit to window
Zoom out
Zoom in