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
80 workflow run results
80 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add sshiftRight/shiftLeft_*_distrib Check for modules that should use `prelude` #80: Pull request #13 synchronize by tobiasgrosser
August 9, 2024 03:21 12s shift_distrib_2
shift_distrib_2
August 9, 2024 03:21 12s
feat: add BitVec.neg_neg Check for modules that should use `prelude` #79: Pull request #14 synchronize by tobiasgrosser
August 9, 2024 02:31 12s bitvec_neg_neg
bitvec_neg_neg
August 9, 2024 02:31 12s
feat: add BitVec.neg_neg Check for modules that should use `prelude` #78: Pull request #14 synchronize by tobiasgrosser
August 9, 2024 02:29 18s bitvec_neg_neg
bitvec_neg_neg
August 9, 2024 02:29 18s
feat: add BitVec.neg_neg Check for modules that should use `prelude` #77: Pull request #14 opened by tobiasgrosser
August 9, 2024 02:16 14s bitvec_neg_neg
bitvec_neg_neg
August 9, 2024 02:16 14s
feat: add sshiftRight/shiftLeft_*_distrib Check for modules that should use `prelude` #76: Pull request #13 synchronize by tobiasgrosser
August 8, 2024 08:45 14s shift_distrib_2
shift_distrib_2
August 8, 2024 08:45 14s
feat: add sshiftRight/shiftLeft_*_distrib Check for modules that should use `prelude` #75: Pull request #13 synchronize by tobiasgrosser
August 8, 2024 08:43 11s shift_distrib_2
shift_distrib_2
August 8, 2024 08:43 11s
feat: add sshiftRight/shiftLeft_*_distrib Check for modules that should use `prelude` #74: Pull request #13 synchronize by tobiasgrosser
August 8, 2024 06:46 11s shift_distrib_2
shift_distrib_2
August 8, 2024 06:46 11s
feat: add sshiftRight/shiftLeft_*_distrib Check for modules that should use `prelude` #73: Pull request #13 synchronize by tobiasgrosser
August 8, 2024 06:46 11s shift_distrib_2
shift_distrib_2
August 8, 2024 06:46 11s
feat: add sshiftRight/shiftLeft_*_distrib Check for modules that should use `prelude` #72: Pull request #13 synchronize by tobiasgrosser
August 8, 2024 06:42 11s shift_distrib_2
shift_distrib_2
August 8, 2024 06:42 11s
feat: add sshiftRight/shiftLeft_*_distrib Check for modules that should use `prelude` #71: Pull request #13 synchronize by tobiasgrosser
August 8, 2024 06:41 14s shift_distrib_2
shift_distrib_2
August 8, 2024 06:41 14s
feat: add sshiftRight/shiftLeft_*_distrib Check for modules that should use `prelude` #70: Pull request #13 synchronize by tobiasgrosser
August 8, 2024 06:34 14s shift_distrib_2
shift_distrib_2
August 8, 2024 06:34 14s
feat: add sshiftRight/shiftLeft_*_distrib Check for modules that should use `prelude` #69: Pull request #13 synchronize by tobiasgrosser
August 8, 2024 06:31 15s shift_distrib_2
shift_distrib_2
August 8, 2024 06:31 15s
feat: add sshiftRight/shiftLeft_*_distrib Check for modules that should use `prelude` #68: Pull request #13 opened by tobiasgrosser
August 8, 2024 06:10 11s shift_distrib_2
shift_distrib_2
August 8, 2024 06:10 11s
feat: bitblasting udiv/urem Check for modules that should use `prelude` #67: Pull request #12 opened by bollu
August 3, 2024 20:11 19s upstream-div-recurrence
upstream-div-recurrence
August 3, 2024 20:11 19s
feat: getLsb_replicate Check for modules that should use `prelude` #66: Pull request #10 synchronize by tobiasgrosser
August 1, 2024 07:08 14s getLsb_replicate
getLsb_replicate
August 1, 2024 07:08 14s
feat: getLsb_replicate Check for modules that should use `prelude` #65: Pull request #10 synchronize by bollu
July 31, 2024 15:48 17s getLsb_replicate
getLsb_replicate
July 31, 2024 15:48 17s
feat: getLsb_replicate Check for modules that should use `prelude` #64: Pull request #10 synchronize by bollu
July 31, 2024 14:14 13s getLsb_replicate
getLsb_replicate
July 31, 2024 14:14 13s
feat: getLsb_replicate Check for modules that should use `prelude` #63: Pull request #10 synchronize by bollu
July 30, 2024 21:06 15s getLsb_replicate
getLsb_replicate
July 30, 2024 21:06 15s
feat: getLsb_replicate Check for modules that should use `prelude` #62: Pull request #10 synchronize by bollu
July 30, 2024 21:06 21s getLsb_replicate
getLsb_replicate
July 30, 2024 21:06 21s
feat: shiftRight bitblasting theorems Check for modules that should use `prelude` #61: Pull request #11 synchronize by bollu
July 30, 2024 19:57 16s upstream-shiftRight-recurrence
upstream-shiftRight-recurrence
July 30, 2024 19:57 16s
feat: shiftRight bitblasting theorems Check for modules that should use `prelude` #60: Pull request #11 synchronize by bollu
July 30, 2024 19:56 13s upstream-shiftRight-recurrence
upstream-shiftRight-recurrence
July 30, 2024 19:56 13s
feat: shiftRight bitblasting theorems Check for modules that should use `prelude` #59: Pull request #11 synchronize by bollu
July 30, 2024 19:53 14s upstream-shiftRight-recurrence
upstream-shiftRight-recurrence
July 30, 2024 19:53 14s
feat: shiftRight bitblasting theorems Check for modules that should use `prelude` #58: Pull request #11 synchronize by bollu
July 27, 2024 10:13 17s upstream-shiftRight-recurrence
upstream-shiftRight-recurrence
July 27, 2024 10:13 17s
feat: getLsb_replicate Check for modules that should use `prelude` #57: Pull request #10 synchronize by bollu
July 24, 2024 16:09 16s getLsb_replicate
getLsb_replicate
July 24, 2024 16:09 16s
feat: shiftRight bitblasting theorems Check for modules that should use `prelude` #56: Pull request #11 synchronize by bollu
July 24, 2024 14:07 12s upstream-shiftRight-recurrence
upstream-shiftRight-recurrence
July 24, 2024 14:07 12s