Skip to content

Actions: opencompl/lean4

Actions

Check for modules that should use `prelude`

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-prelude.yml
418 workflow runs
418 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: BitVec.toInt_sshiftRight Check for modules that should use `prelude` #418: Pull request #39 synchronize by tobiasgrosser
February 17, 2025 00:33 12s sshiftright
sshiftright
February 17, 2025 00:33 12s
feat: BitVec.toInt_sshiftRight Check for modules that should use `prelude` #417: Pull request #39 synchronize by tobiasgrosser
February 17, 2025 00:32 14s sshiftright
sshiftright
February 17, 2025 00:32 14s
feat: BitVec.toInt_sshiftRight Check for modules that should use `prelude` #416: Pull request #39 synchronize by tobiasgrosser
February 17, 2025 00:32 13s sshiftright
sshiftright
February 17, 2025 00:32 13s
feat: BitVec.toInt_sshiftRight Check for modules that should use `prelude` #415: Pull request #39 synchronize by tobiasgrosser
February 17, 2025 00:31 17s sshiftright
sshiftright
February 17, 2025 00:31 17s
feat: BitVec.toInt_sshiftRight Check for modules that should use `prelude` #414: Pull request #39 synchronize by tobiasgrosser
February 17, 2025 00:18 16s sshiftright
sshiftright
February 17, 2025 00:18 16s
feat: BitVec.toInt_sshiftRight Check for modules that should use `prelude` #413: Pull request #39 synchronize by tobiasgrosser
February 16, 2025 20:39 16s sshiftright
sshiftright
February 16, 2025 20:39 16s
feat: BitVec.toInt_sshiftRight Check for modules that should use `prelude` #412: Pull request #39 synchronize by tobiasgrosser
February 16, 2025 19:14 14s sshiftright
sshiftright
February 16, 2025 19:14 14s
feat: BitVec.toInt_sshiftRight Check for modules that should use `prelude` #411: Pull request #39 synchronize by tobiasgrosser
February 16, 2025 11:09 16s sshiftright
sshiftright
February 16, 2025 11:09 16s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for modules that should use `prelude` #410: Pull request #43 synchronize by alexkeizer
February 14, 2025 17:15 15s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 17:15 15s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for modules that should use `prelude` #409: Pull request #43 synchronize by alexkeizer
February 14, 2025 17:14 16s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 17:14 16s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for modules that should use `prelude` #408: Pull request #43 synchronize by alexkeizer
February 14, 2025 17:12 12s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 17:12 12s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for modules that should use `prelude` #407: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:56 12s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:56 12s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for modules that should use `prelude` #406: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:52 17s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:52 17s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for modules that should use `prelude` #405: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:45 16s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:45 16s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for modules that should use `prelude` #404: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:38 12s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:38 12s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for modules that should use `prelude` #403: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:36 13s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:36 13s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for modules that should use `prelude` #402: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:24 14s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:24 14s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for modules that should use `prelude` #401: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:22 17s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:22 17s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for modules that should use `prelude` #400: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:20 16s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:20 16s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for modules that should use `prelude` #399: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:11 15s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:11 15s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for modules that should use `prelude` #398: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:05 17s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:05 17s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for modules that should use `prelude` #397: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:05 13s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:05 13s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for modules that should use `prelude` #396: Pull request #43 synchronize by alexkeizer
February 14, 2025 16:04 13s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 16:04 13s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for modules that should use `prelude` #395: Pull request #43 synchronize by alexkeizer
February 14, 2025 15:57 15s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 15:57 15s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for modules that should use `prelude` #394: Pull request #43 synchronize by alexkeizer
February 14, 2025 14:53 14s ac-rfl-term-sharing
ac-rfl-term-sharing
February 14, 2025 14:53 14s