Skip to content

Actions: leanprover/lean4

Actions

Check for modules that should use `prelude`

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-prelude.yml
1,006 workflow run results
1,006 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: isDefEq handling of delayed-assigned mvars when withAssignableSyntheticOpaque is true Check for modules that should use `prelude` #31: Pull request #3473 synchronize by thorimur
February 23, 2024 22:01 11s thorimur:isDefEq-fvar-bug
thorimur:isDefEq-fvar-bug
February 23, 2024 22:01 11s
fix: isDefEq handling of delayed-assigned mvars when withAssignableSyntheticOpaque is true Check for modules that should use `prelude` #30: Pull request #3473 synchronize by thorimur
February 23, 2024 21:47 16s thorimur:isDefEq-fvar-bug
thorimur:isDefEq-fvar-bug
February 23, 2024 21:47 16s
fix: isDefEq handling of delayed-assigned mvars when withAssignableSyntheticOpaque is true Check for modules that should use `prelude` #29: Pull request #3473 synchronize by thorimur
February 23, 2024 21:38 10s thorimur:isDefEq-fvar-bug
thorimur:isDefEq-fvar-bug
February 23, 2024 21:38 10s
chore: move BitVec to top level namespace Check for modules that should use `prelude` #28: Pull request #3451 synchronize by leodemoura
February 23, 2024 21:24 12s bv_no_std
bv_no_std
February 23, 2024 21:24 12s
fix: isDefEq handling of delayed-assigned mvars when withAssignableSyntheticOpaque is true Check for modules that should use `prelude` #27: Pull request #3473 synchronize by thorimur
February 23, 2024 21:17 14s thorimur:isDefEq-fvar-bug
thorimur:isDefEq-fvar-bug
February 23, 2024 21:17 14s
fix: isDefEq handling of delayed-assigned mvars when withAssignableSyntheticOpaque is true Check for modules that should use `prelude` #26: Pull request #3473 synchronize by thorimur
February 23, 2024 20:57 12s thorimur:isDefEq-fvar-bug
thorimur:isDefEq-fvar-bug
February 23, 2024 20:57 12s
chore: upstream exact? and apply? from Std Check for modules that should use `prelude` #25: Pull request #3447 synchronize by joehendrix
February 23, 2024 20:55 11s upstream_library_search
upstream_library_search
February 23, 2024 20:55 11s
chore: upstream exact? and apply? from Std Check for modules that should use `prelude` #24: Pull request #3447 synchronize by joehendrix
February 23, 2024 20:53 12s upstream_library_search
upstream_library_search
February 23, 2024 20:53 12s
chore: upstream exact? and apply? from Std Check for modules that should use `prelude` #23: Pull request #3447 synchronize by joehendrix
February 23, 2024 20:42 11s upstream_library_search
upstream_library_search
February 23, 2024 20:42 11s
fix: isDefEq handling of delayed-assigned mvars when withAssignableSyntheticOpaque is true Check for modules that should use `prelude` #22: Pull request #3473 synchronize by thorimur
February 23, 2024 20:34 15s thorimur:isDefEq-fvar-bug
thorimur:isDefEq-fvar-bug
February 23, 2024 20:34 15s
fix: isDefEq handling of delayed-assigned mvars when withAssignableSyntheticOpaque is true Check for modules that should use `prelude` #21: Pull request #3473 synchronize by thorimur
February 23, 2024 20:30 12s thorimur:isDefEq-fvar-bug
thorimur:isDefEq-fvar-bug
February 23, 2024 20:30 12s
chore: upstream exact? and apply? from Std Check for modules that should use `prelude` #20: Pull request #3447 synchronize by joehendrix
February 23, 2024 19:10 25s upstream_library_search
upstream_library_search
February 23, 2024 19:10 25s
chore: upstream exact? and apply? from Std Check for modules that should use `prelude` #19: Pull request #3447 synchronize by joehendrix
February 23, 2024 19:02 13s upstream_library_search
upstream_library_search
February 23, 2024 19:02 13s
feat: sorted call hierarchy items & no private prefix Check for modules that should use `prelude` #18: Pull request #3482 opened by mhuisi
February 23, 2024 18:05 16s mhuisi:mhuisi/call-hierarchy-improvements
mhuisi:mhuisi/call-hierarchy-improvements
February 23, 2024 18:05 16s
chore: upstream exact? and apply? from Std Check for modules that should use `prelude` #17: Pull request #3447 synchronize by joehendrix
February 23, 2024 18:02 13s upstream_library_search
upstream_library_search
February 23, 2024 18:02 13s
chore: upstream exact? and apply? from Std Check for modules that should use `prelude` #16: Pull request #3447 synchronize by joehendrix
February 23, 2024 18:00 13s upstream_library_search
upstream_library_search
February 23, 2024 18:00 13s
chore: upstream exact? and apply? from Std Check for modules that should use `prelude` #15: Pull request #3447 synchronize by joehendrix
February 23, 2024 17:57 16s upstream_library_search
upstream_library_search
February 23, 2024 17:57 16s
refactor: drop sizeOf_get_lt, duplicate of sizeOf_get Check for modules that should use `prelude` #14: Pull request #3481 opened by nomeata
February 23, 2024 17:08 15s joachim/drop_sizeof_get_lt
joachim/drop_sizeof_get_lt
February 23, 2024 17:08 15s
chore: upstream exact? and apply? from Std Check for modules that should use `prelude` #13: Pull request #3447 synchronize by joehendrix
February 23, 2024 17:06 12s upstream_library_search
upstream_library_search
February 23, 2024 17:06 12s
chore: upstream exact? and apply? from Std Check for modules that should use `prelude` #12: Pull request #3447 synchronize by joehendrix
February 23, 2024 16:33 12s upstream_library_search
upstream_library_search
February 23, 2024 16:33 12s
feat: generalize msb_eq_decide to also handle the zero width case Check for modules that should use `prelude` #11: Pull request #3480 opened by bollu
February 23, 2024 15:55 12s bollu:msb-eq-decide-width-zero
bollu:msb-eq-decide-width-zero
February 23, 2024 15:55 12s
doc: fix references to Std.Tactic.Omega in comments Check for modules that should use `prelude` #10: Pull request #3479 opened by nomeata
February 23, 2024 15:51 13s joachim/std-omega-reference
joachim/std-omega-reference
February 23, 2024 15:51 13s
feat: use omega in decreasing_tactic Check for modules that should use `prelude` #9: Pull request #3478 synchronize by nomeata
February 23, 2024 15:46 14s joachim/decreasing-omega
joachim/decreasing-omega
February 23, 2024 15:46 14s
feat: BitVec int lemmas Check for modules that should use `prelude` #8: Pull request #3474 synchronize by joehendrix
February 23, 2024 15:27 15s bitvec_int_lemmas
bitvec_int_lemmas
February 23, 2024 15:27 15s
fix: auto-completion bugs and performance Check for modules that should use `prelude` #7: Pull request #3460 synchronize by mhuisi
February 23, 2024 14:42 13s mhuisi:mhuisi/slow-autocompletion
mhuisi:mhuisi/slow-autocompletion
February 23, 2024 14:42 13s
ProTip! You can narrow down the results and go further in time using created:<2024-02-23 or the other filters available.