Skip to content
Lint Style

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

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

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

lint.yml

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