Skip to content
Lint Style

lean proof of confluence-based counter example #1016

Sign in to view logs

lean proof of confluence-based counter example

lean proof of confluence-based counter example #1016

Triggered via pull request October 7, 2024 21:28
@nomeatanomeata
synchronize #417
joachim/confluence_lean
Status Success
Total duration 10s
Artifacts –

lint.yml

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