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
5,981 workflow runs
5,981 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: verify keys method on HashMaps Check for modules that should use `prelude` #5935: Pull request #5866 synchronize by monsterkrampe
November 6, 2024 09:52 16s monsterkrampe:hashmap-keys
monsterkrampe:hashmap-keys
November 6, 2024 09:52 16s
feat: float_match simproc and conv tactic Check for modules that should use `prelude` #5934: Pull request #5923 synchronize by nomeata
November 6, 2024 09:51 14s joachim/float-match
joachim/float-match
November 6, 2024 09:51 14s
feat: simp local confluence testing Check for modules that should use `prelude` #5933: Pull request #5717 synchronize by kim-em
November 6, 2024 09:48 14s simplc
simplc
November 6, 2024 09:48 14s
chore: CI: bump mymindstorm/setup-emsdk from 12 to 14 Check for modules that should use `prelude` #5932: Pull request #5963 synchronize by dependabot bot
November 6, 2024 09:47 12s dependabot/github_actions/mymindstorm/setup-emsdk-14
dependabot/github_actions/mymindstorm/setup-emsdk-14
November 6, 2024 09:47 12s
feat: add another List.find?_eq_some lemma Check for modules that should use `prelude` #5931: Pull request #5974 opened by kim-em
November 6, 2024 09:45 14s find_eq_some
find_eq_some
November 6, 2024 09:45 14s
feat: verify keys method on HashMaps Check for modules that should use `prelude` #5930: Pull request #5866 synchronize by monsterkrampe
November 6, 2024 08:31 13s monsterkrampe:hashmap-keys
monsterkrampe:hashmap-keys
November 6, 2024 08:31 13s
chore: exclude leanruntest_task_test_io for now Check for modules that should use `prelude` #5929: Pull request #5973 opened by TwoFX
November 6, 2024 08:28 14s exclude-task-test-io
exclude-task-test-io
November 6, 2024 08:28 14s
feat: verify keys method on HashMaps Check for modules that should use `prelude` #5928: Pull request #5866 synchronize by monsterkrampe
November 6, 2024 08:03 17s monsterkrampe:hashmap-keys
monsterkrampe:hashmap-keys
November 6, 2024 08:03 17s
feat: add date and time functionality Check for modules that should use `prelude` #5927: Pull request #4904 synchronize by algebraic-dev
November 6, 2024 06:49 1m 34s algebraic-dev:master
algebraic-dev:master
November 6, 2024 06:49 1m 34s
feat: relate Array.zipWith/zip/unzip with List versions Check for modules that should use `prelude` #5926: Pull request #5972 synchronize by kim-em
November 6, 2024 05:23 18s relate_zipWith
relate_zipWith
November 6, 2024 05:23 18s
feat: relate Array.zipWith/zip/unzip with List versions Check for modules that should use `prelude` #5925: Pull request #5972 opened by kim-em
November 6, 2024 05:21 17s relate_zipWith
relate_zipWith
November 6, 2024 05:21 17s
chore: upstream List.insertIdx from Batteries, lemmas from Mathlib, and revise lemmas Check for modules that should use `prelude` #5924: Pull request #5969 synchronize by kim-em
November 6, 2024 05:16 13s upstream_insertIdx
upstream_insertIdx
November 6, 2024 05:16 13s
chore: CI: bump mymindstorm/setup-emsdk from 12 to 14 Check for modules that should use `prelude` #5923: Pull request #5963 synchronize by dependabot bot
November 6, 2024 05:15 10s dependabot/github_actions/mymindstorm/setup-emsdk-14
dependabot/github_actions/mymindstorm/setup-emsdk-14
November 6, 2024 05:15 10s
feat: simp local confluence testing Check for modules that should use `prelude` #5922: Pull request #5717 synchronize by kim-em
November 6, 2024 05:11 13s simplc
simplc
November 6, 2024 05:11 13s
feat: add date and time functionality Check for modules that should use `prelude` #5921: Pull request #4904 synchronize by algebraic-dev
November 6, 2024 02:04 14s algebraic-dev:master
algebraic-dev:master
November 6, 2024 02:04 14s
fix: arg conv tactic misreported number of arguments on error Check for modules that should use `prelude` #5920: Pull request #5968 synchronize by kmill
November 6, 2024 01:50 13s kmill:fix_conv_arg_error_msg
kmill:fix_conv_arg_error_msg
November 6, 2024 01:50 13s
feat: add date and time functionality Check for modules that should use `prelude` #5919: Pull request #4904 synchronize by algebraic-dev
November 6, 2024 01:15 14s algebraic-dev:master
algebraic-dev:master
November 6, 2024 01:15 14s
feat: relate Array.isPrefixOf with List.isPrefixOf Check for modules that should use `prelude` #5918: Pull request #5971 synchronize by kim-em
November 5, 2024 23:18 16s relate_isPrefixOf
relate_isPrefixOf
November 5, 2024 23:18 16s
chore: deprecate Array.split in favour of identical Array.partition Check for modules that should use `prelude` #5917: Pull request #5970 synchronize by kim-em
November 5, 2024 23:11 1m 34s deprecate_array_split
deprecate_array_split
November 5, 2024 23:11 1m 34s
feat: relate Array.isPrefixOf with List.isPrefixOf Check for modules that should use `prelude` #5916: Pull request #5971 opened by kim-em
November 5, 2024 23:08 1m 27s relate_isPrefixOf
relate_isPrefixOf
November 5, 2024 23:08 1m 27s
chore: deprecate Array.split in favour of identical Array.partition Check for modules that should use `prelude` #5915: Pull request #5970 opened by kim-em
November 5, 2024 22:33 12s deprecate_array_split
deprecate_array_split
November 5, 2024 22:33 12s
chore: upstream List.insertIdx from Batteries, lemmas from Mathlib, and revise lemmas Check for modules that should use `prelude` #5914: Pull request #5969 opened by kim-em
November 5, 2024 22:27 16s upstream_insertIdx
upstream_insertIdx
November 5, 2024 22:27 16s
fix: arg conv tactic misreported number of arguments on error Check for modules that should use `prelude` #5913: Pull request #5968 synchronize by kmill
November 5, 2024 20:31 15s kmill:fix_conv_arg_error_msg
kmill:fix_conv_arg_error_msg
November 5, 2024 20:31 15s
fix: arg conv tactic misreported number of arguments on error Check for modules that should use `prelude` #5912: Pull request #5968 opened by kmill
November 5, 2024 20:27 17s kmill:fix_conv_arg_error_msg
kmill:fix_conv_arg_error_msg
November 5, 2024 20:27 17s
chore: fix all_goals test, simulate the max rec depth error Check for modules that should use `prelude` #5911: Pull request #5967 opened by kmill
November 5, 2024 19:35 14s kmill:all_goals_tests
kmill:all_goals_tests
November 5, 2024 19:35 14s