Skip to content

Actions: teorth/equational_theories

Actions

Lint Style

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
This workflow was disabled manually.
998 workflow runs
998 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' of https://github.com/teorth/equational_theories Lint Style #938: Commit b546bd1 pushed by pitmonticone
October 6, 2024 01:29 11s main
main
October 6, 2024 01:29 11s
golf Subgraph.lean Lint Style #937: Commit f9b97e9 pushed by pitmonticone
October 6, 2024 00:50 10s main
main
October 6, 2024 00:50 10s
Metatheorem resolving all consequences of Equation1571 Lint Style #936: Pull request #341 synchronize by franklindyer
October 6, 2024 00:36 9s franklindyer:free-monoid-theory
franklindyer:free-monoid-theory
October 6, 2024 00:36 9s
Metatheorem about duals (#285) Lint Style #935: Commit 5d02887 pushed by teorth
October 5, 2024 23:39 9s main
main
October 5, 2024 23:39 9s
Metatheorem resolving all consequences of Equation1571 Lint Style #934: Pull request #341 opened by franklindyer
October 5, 2024 23:02 11s franklindyer:free-monoid-theory
franklindyer:free-monoid-theory
October 5, 2024 23:02 11s
Fix : Limit scope of hygiene false option in MagmaLaw.lean (#340) Lint Style #933: Commit 6a6d708 pushed by Shreyas4991
October 5, 2024 22:43 13s main
main
October 5, 2024 22:43 13s
Fix : Limit scope of hygiene false option in MagmaLaw.lean Lint Style #932: Pull request #340 opened by Shreyas4991
October 5, 2024 22:35 13s fix_hygiene_completeness
fix_hygiene_completeness
October 5, 2024 22:35 13s
All4x4Tables: One more magma (#337) Lint Style #931: Commit 52e2d36 pushed by teorth
October 5, 2024 22:07 11s main
main
October 5, 2024 22:07 11s
All4x4Tables: One more magma Lint Style #930: Pull request #337 opened by zaklogician
October 5, 2024 21:43 11s zaklogician:11by11
zaklogician:11by11
October 5, 2024 21:43 11s
State and prove Theorem 2.36 Lint Style #929: Pull request #202 synchronize by jscanvic
October 5, 2024 20:56 11s jscanvic:theorem2-36
jscanvic:theorem2-36
October 5, 2024 20:56 11s
golf subgraph Lint Style #927: Commit 198fd3f pushed by pitmonticone
October 5, 2024 20:24 11s main
main
October 5, 2024 20:24 11s
All4x4Tables: 2531 does not impy 1075 (#330) Lint Style #926: Commit b287fc3 pushed by teorth
October 5, 2024 19:53 13s main
main
October 5, 2024 19:53 13s
All4x4Tables: 2531 does not impy 1075 Lint Style #924: Pull request #330 synchronize by zaklogician
October 5, 2024 19:44 12s zaklogician:13by13
zaklogician:13by13
October 5, 2024 19:44 12s
All4x4Tables: 2531 does not impy 1075 Lint Style #923: Pull request #330 opened by zaklogician
October 5, 2024 19:30 10s zaklogician:13by13
zaklogician:13by13
October 5, 2024 19:30 10s
Minor: fix some build linter issues (#326) Lint Style #921: Commit 45aa093 pushed by teorth
October 5, 2024 18:26 10s main
main
October 5, 2024 18:26 10s
Minor: fix some build linter issues Lint Style #920: Pull request #326 opened by zaklogician
October 5, 2024 18:16 9s zaklogician:fix_linter_issues
zaklogician:fix_linter_issues
October 5, 2024 18:16 9s
Metatheorem about duals Lint Style #919: Pull request #285 synchronize by goens
October 5, 2024 18:15 11s goens:duals
goens:duals
October 5, 2024 18:15 11s
All4x4Tables: Integrate straggler counterexamples (#324) Lint Style #918: Commit 35e22b0 pushed by teorth
October 5, 2024 18:14 9s main
main
October 5, 2024 18:14 9s
if underscores are desirable then use them more efficiently (#323) Lint Style #917: Commit d22688a pushed by pitmonticone
October 5, 2024 17:55 10s main
main
October 5, 2024 17:55 10s
All4x4Tables: Integrate straggler counterexamples Lint Style #916: Pull request #324 opened by zaklogician
October 5, 2024 17:47 10s zaklogician:gather_counterexamples
zaklogician:gather_counterexamples
October 5, 2024 17:47 10s
if underscores are desirable then use them more efficiently Lint Style #915: Pull request #323 opened by madvorak
October 5, 2024 17:45 9s madvorak:mdv-tiny-polish
madvorak:mdv-tiny-polish
October 5, 2024 17:45 9s
law_to_equation and equation_to_law Lint Style #914: Pull request #322 opened by Command-Master
October 5, 2024 17:41 14s Command-Master:CM-lawify
Command-Master:CM-lawify
October 5, 2024 17:41 14s
just cosmetic changes (#320) Lint Style #913: Commit 1e88f78 pushed by pitmonticone
October 5, 2024 17:34 11s main
main
October 5, 2024 17:34 11s
just cosmetic changes Lint Style #912: Pull request #320 synchronize by pitmonticone
October 5, 2024 17:20 9s madvorak:mdv-just-cosmetical
madvorak:mdv-just-cosmetical
October 5, 2024 17:20 9s
just cosmetic changes Lint Style #911: Pull request #320 synchronize by madvorak
October 5, 2024 17:19 9s madvorak:mdv-just-cosmetical
madvorak:mdv-just-cosmetical
October 5, 2024 17:19 9s