Skip to content

Actions: leanprover/lean4

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
6,069 workflow run results
6,069 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: relate Array.isPrefixOf with List.isPrefixOf Check for copyright header #6073: Pull request #5971 synchronize by kim-em
November 5, 2024 23:18 1m 32s relate_isPrefixOf
relate_isPrefixOf
November 5, 2024 23:18 1m 32s
chore: deprecate Array.split in favour of identical Array.partition Check for copyright header #6072: Pull request #5970 synchronize by kim-em
November 5, 2024 23:11 29s deprecate_array_split
deprecate_array_split
November 5, 2024 23:11 29s
feat: relate Array.isPrefixOf with List.isPrefixOf Check for copyright header #6071: Pull request #5971 opened by kim-em
November 5, 2024 23:08 29s relate_isPrefixOf
relate_isPrefixOf
November 5, 2024 23:08 29s
chore: deprecate Array.split in favour of identical Array.partition Check for copyright header #6070: Pull request #5970 opened by kim-em
November 5, 2024 22:33 30s deprecate_array_split
deprecate_array_split
November 5, 2024 22:33 30s
chore: upstream List.insertIdx from Batteries, lemmas from Mathlib, and revise lemmas Check for copyright header #6069: Pull request #5969 opened by kim-em
November 5, 2024 22:27 28s upstream_insertIdx
upstream_insertIdx
November 5, 2024 22:27 28s
fix: arg conv tactic misreported number of arguments on error Check for copyright header #6068: Pull request #5968 synchronize by kmill
November 5, 2024 20:31 1m 48s kmill:fix_conv_arg_error_msg
kmill:fix_conv_arg_error_msg
November 5, 2024 20:31 1m 48s
fix: arg conv tactic misreported number of arguments on error Check for copyright header #6067: Pull request #5968 opened by kmill
November 5, 2024 20:27 29s kmill:fix_conv_arg_error_msg
kmill:fix_conv_arg_error_msg
November 5, 2024 20:27 29s
chore: fix all_goals test, simulate the max rec depth error Check for copyright header #6066: Pull request #5967 opened by kmill
November 5, 2024 19:35 32s kmill:all_goals_tests
kmill:all_goals_tests
November 5, 2024 19:35 32s
feat: verify keys method on HashMaps Check for copyright header #6065: Pull request #5866 synchronize by jt0202
November 5, 2024 17:23 32s monsterkrampe:hashmap-keys
monsterkrampe:hashmap-keys
November 5, 2024 17:23 32s
feat: float_match simproc and conv tactic Check for copyright header #6064: Pull request #5923 synchronize by nomeata
November 5, 2024 16:03 31s joachim/float-match
joachim/float-match
November 5, 2024 16:03 31s
feat: define ISize and basic operations on it Check for copyright header #6063: Pull request #5961 synchronize by hargoniX
November 5, 2024 14:25 34s hbv/isize
hbv/isize
November 5, 2024 14:25 34s
feat: define ISize and basic operations on it Check for copyright header #6062: Pull request #5961 synchronize by hargoniX
November 5, 2024 13:53 29s hbv/isize
hbv/isize
November 5, 2024 13:53 29s
fix: do not link statically against pthread/dl/rt Check for copyright header #6061: Pull request #5966 opened by TwoFX
November 5, 2024 12:25 28s glibc-hotfix
glibc-hotfix
November 5, 2024 12:25 28s
feat: float_match simproc and conv tactic Check for copyright header #6060: Pull request #5923 synchronize by nomeata
November 5, 2024 11:53 29s joachim/float-match
joachim/float-match
November 5, 2024 11:53 29s
feat: float_match simproc and conv tactic Check for copyright header #6059: Pull request #5923 synchronize by nomeata
November 5, 2024 11:46 31s joachim/float-match
joachim/float-match
November 5, 2024 11:46 31s
chore: CI: bump dcarbone/install-jq-action from 1.0.1 to 2.1.0 Check for copyright header #6058: Pull request #5965 opened by dependabot bot
November 5, 2024 10:43 31s dependabot/github_actions/dcarbone/install-jq-action-2.1.0
dependabot/github_actions/dcarbone/install-jq-action-2.1.0
November 5, 2024 10:43 31s
chore: CI: bump dawidd6/action-download-artifact from 2 to 6 Check for copyright header #6057: Pull request #5964 opened by dependabot bot
November 5, 2024 10:43 30s dependabot/github_actions/dawidd6/action-download-artifact-6
dependabot/github_actions/dawidd6/action-download-artifact-6
November 5, 2024 10:43 30s
chore: CI: bump mymindstorm/setup-emsdk from 12 to 14 Check for copyright header #6056: Pull request #5963 opened by dependabot bot
November 5, 2024 10:43 29s dependabot/github_actions/mymindstorm/setup-emsdk-14
dependabot/github_actions/mymindstorm/setup-emsdk-14
November 5, 2024 10:43 29s
chore: CI: bump actions/github-script from 6 to 7 Check for copyright header #6055: Pull request #5962 opened by dependabot bot
November 5, 2024 10:43 31s dependabot/github_actions/actions/github-script-7
dependabot/github_actions/actions/github-script-7
November 5, 2024 10:43 31s
feat: simp local confluence testing Check for copyright header #6054: Pull request #5717 synchronize by kim-em
November 5, 2024 10:33 31s simplc
simplc
November 5, 2024 10:33 31s
feat: simp local confluence testing Check for copyright header #6053: Pull request #5717 synchronize by kim-em
November 5, 2024 10:33 31s simplc
simplc
November 5, 2024 10:33 31s
chore: CI: bump lycheeverse/lychee-action from 1.9.0 to 2.0.2 Check for copyright header #6052: Pull request #5959 synchronize by Kha
November 5, 2024 10:20 29s dependabot/github_actions/lycheeverse/lychee-action-2.0.2
dependabot/github_actions/lycheeverse/lychee-action-2.0.2
November 5, 2024 10:20 29s
feat: define ISize and basic operations on it Check for copyright header #6051: Pull request #5961 opened by hargoniX
November 5, 2024 10:17 30s hbv/isize
hbv/isize
November 5, 2024 10:17 30s
chore: tag prerelease builds with -pre Check for copyright header #6050: Pull request #5943 synchronize by Kha
November 5, 2024 09:49 32s Kha:push-lwnlpstmmozl
Kha:push-lwnlpstmmozl
November 5, 2024 09:49 32s
chore: CI: bump lycheeverse/lychee-action from 1.9.0 to 2.0.2 Check for copyright header #6049: Pull request #5959 opened by dependabot bot
November 5, 2024 09:21 28s dependabot/github_actions/lycheeverse/lychee-action-2.0.2
dependabot/github_actions/lycheeverse/lychee-action-2.0.2
November 5, 2024 09:21 28s