Actions: opencompl/lean4
Actions
Showing runs from all workflows
4,391 workflow runs
4,391 workflow runs
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
CI
#863:
Pull request #43
synchronize
by
alexkeizer
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
Check for copyright header
#380:
Pull request #43
synchronize
by
alexkeizer
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
Check for modules that should use `prelude`
#380:
Pull request #43
synchronize
by
alexkeizer
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
Check PR body for changelog convention
#131:
Pull request #43
synchronize
by
alexkeizer
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
Check for stage0 changes
#377:
Pull request #43
synchronize
by
alexkeizer
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
Nix CI
#449:
Pull request #43
synchronize
by
alexkeizer
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
Check PR title for commit convention
#419:
Pull request #43
synchronize
by
alexkeizer
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
Check for modules that should use `prelude`
#379:
Pull request #43
synchronize
by
alexkeizer
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
Check for copyright header
#379:
Pull request #43
synchronize
by
alexkeizer
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
CI
#862:
Pull request #43
synchronize
by
alexkeizer
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
Check for stage0 changes
#376:
Pull request #43
synchronize
by
alexkeizer
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
Nix CI
#448:
Pull request #43
synchronize
by
alexkeizer
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
Check PR body for changelog convention
#130:
Pull request #43
synchronize
by
alexkeizer
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
Check PR title for commit convention
#418:
Pull request #43
synchronize
by
alexkeizer
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
Nix CI
#447:
Pull request #43
synchronize
by
alexkeizer
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
Check for modules that should use `prelude`
#378:
Pull request #43
synchronize
by
alexkeizer
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
Check for stage0 changes
#375:
Pull request #43
synchronize
by
alexkeizer
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
Check for copyright header
#378:
Pull request #43
synchronize
by
alexkeizer
ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account
Check PR title for commit convention
#417:
Pull request #43
synchronize
by
alexkeizer