Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
91,866 workflow run results
91,866 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: verify keys method on HashMaps Nix CI #20614: Pull request #5866 synchronize by jt0202
November 5, 2024 17:23 19m 27s monsterkrampe:hashmap-keys
monsterkrampe:hashmap-keys
November 5, 2024 17:23 19m 27s
feat: verify keys method on HashMaps Check for modules that should use `prelude` #5910: Pull request #5866 synchronize by jt0202
November 5, 2024 17:23 18s monsterkrampe:hashmap-keys
monsterkrampe:hashmap-keys
November 5, 2024 17:23 18s
feat: verify keys method on HashMaps Check PR title for commit convention #11189: Pull request #5866 synchronize by jt0202
November 5, 2024 17:23 15s monsterkrampe:hashmap-keys
monsterkrampe:hashmap-keys
November 5, 2024 17:23 15s
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: verify keys method on HashMaps Check for stage0 changes #6137: Pull request #5866 synchronize by jt0202
November 5, 2024 17:23 35s monsterkrampe:hashmap-keys
monsterkrampe:hashmap-keys
November 5, 2024 17:23 35s
feat: verify keys method on HashMaps CI #23833: Pull request #5866 synchronize by jt0202
November 5, 2024 17:23 17m 50s monsterkrampe:hashmap-keys
monsterkrampe:hashmap-keys
November 5, 2024 17:23 17m 50s
feat: message kinds Label PR based on Comment #7844: Issue comment #5945 (comment) created by tydeu
November 5, 2024 17:03 3s
November 5, 2024 17:03 3s
PR release PR release #14417: completed by nomeata
November 5, 2024 16:16 4m 21s
November 5, 2024 16:16 4m 21s
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: float_match simproc and conv tactic Check for stage0 changes #6136: Pull request #5923 synchronize by nomeata
November 5, 2024 16:03 1m 43s joachim/float-match
joachim/float-match
November 5, 2024 16:03 1m 43s
feat: float_match simproc and conv tactic CI #23832: Pull request #5923 synchronize by nomeata
November 5, 2024 16:03 13m 30s joachim/float-match
joachim/float-match
November 5, 2024 16:03 13m 30s
feat: float_match simproc and conv tactic Nix CI #20613: Pull request #5923 synchronize by nomeata
November 5, 2024 16:03 14m 37s joachim/float-match
joachim/float-match
November 5, 2024 16:03 14m 37s
feat: float_match simproc and conv tactic Check PR title for commit convention #11188: Pull request #5923 synchronize by nomeata
November 5, 2024 16:03 15s joachim/float-match
joachim/float-match
November 5, 2024 16:03 15s
feat: float_match simproc and conv tactic Check for modules that should use `prelude` #5909: Pull request #5923 synchronize by nomeata
November 5, 2024 16:03 12s joachim/float-match
joachim/float-match
November 5, 2024 16:03 12s
PR release PR release #14416: completed by github-merge-queue bot
November 5, 2024 16:01 2s
November 5, 2024 16:01 2s
feat: define ISize and basic operations on it (#5961) Update stage0 #2065: Commit c77b6a2 pushed by github-merge-queue bot
November 5, 2024 15:35 51s master
master
November 5, 2024 15:35 51s
feat: define ISize and basic operations on it Backport #4965: Pull request #5961 closed by hargoniX
November 5, 2024 15:35 12s
November 5, 2024 15:35 12s
feat: define ISize and basic operations on it (#5961) CI #23831: Commit c77b6a2 pushed by github-merge-queue bot
November 5, 2024 15:35 25m 54s master
master
November 5, 2024 15:35 25m 54s
feat: define ISize and basic operations on it (#5961) Nix CI #20612: Commit c77b6a2 pushed by github-merge-queue bot
November 5, 2024 15:35 18m 25s master
master
November 5, 2024 15:35 18m 25s
PR release PR release #14415: completed by hargoniX
November 5, 2024 15:35 6s
November 5, 2024 15:35 6s
Check for stage0 changes Check for stage0 changes #6135: Merge group checks requested
November 5, 2024 15:08 38s
November 5, 2024 15:08 38s
Check PR title for commit convention Check PR title for commit convention #11187: Merge group checks requested
November 5, 2024 15:08 14s
November 5, 2024 15:08 14s
Actionlint Actionlint #2613: Merge group checks requested
November 5, 2024 15:08 1m 49s
November 5, 2024 15:08 1m 49s
Nix CI Nix CI #20611: Merge group checks requested
November 5, 2024 15:08 15m 58s
November 5, 2024 15:08 15m 58s
CI CI #23830: Merge group checks requested
November 5, 2024 15:08 26m 51s
November 5, 2024 15:08 26m 51s