Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77,222 workflow runs
77,222 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nix CI Nix CI #18509: Merge group checks requested
September 23, 2024 03:44 18m 20s
September 23, 2024 03:44 18m 20s
Check PR title for commit convention Check PR title for commit convention #9091: Merge group checks requested
September 23, 2024 03:44 10s
September 23, 2024 03:44 10s
CI CI #21678: Merge group checks requested
September 23, 2024 03:44 21m 42s
September 23, 2024 03:44 21m 42s
Actionlint Actionlint #2130: Merge group checks requested
September 23, 2024 03:44 2m 47s
September 23, 2024 03:44 2m 47s
PR release PR release #12224: completed by TomasPuverle
September 23, 2024 03:44 3m 13s
September 23, 2024 03:44 3m 13s
chore: reverse direction of List.set_map Label PR based on Comment #6778: Issue comment #5405 (comment) created by leanprover-community-bot
September 23, 2024 03:32 1s
September 23, 2024 03:32 1s
chore: reverse direction of List.set_map Restart by label #1244: Pull request #5405 labeled by leanprover-community-bot
September 23, 2024 03:32 2s
September 23, 2024 03:32 2s
chore: reverse direction of List.set_map Backport #4228: Pull request #5405 labeled by leanprover-community-bot
September 23, 2024 03:32 2s
September 23, 2024 03:32 2s
chore: reverse direction of List.set_map Restart by label #1243: Pull request #5405 unlabeled by leanprover-community-bot
September 23, 2024 03:32 2s
September 23, 2024 03:32 2s
feat: refactor DecidableEq (Array α) Check PR title for commit convention #9090: Pull request #5422 opened by semorrison
September 23, 2024 03:30 12s decidableEq_arry
decidableEq_arry
September 23, 2024 03:30 12s
feat: refactor DecidableEq (Array α) Check for stage0 changes #4423: Pull request #5422 opened by semorrison
September 23, 2024 03:30 53s decidableEq_arry
decidableEq_arry
September 23, 2024 03:30 53s
feat: refactor DecidableEq (Array α) Check for copyright header #4766: Pull request #5422 opened by semorrison
September 23, 2024 03:30 33s decidableEq_arry
decidableEq_arry
September 23, 2024 03:30 33s
feat: refactor DecidableEq (Array α) Nix CI #18508: Pull request #5422 opened by semorrison
September 23, 2024 03:30 12m 26s decidableEq_arry
decidableEq_arry
September 23, 2024 03:30 12m 26s
feat: refactor DecidableEq (Array α) CI #21677: Pull request #5422 opened by semorrison
September 23, 2024 03:30 18m 25s decidableEq_arry
decidableEq_arry
September 23, 2024 03:30 18m 25s
feat: refactor DecidableEq (Array α) Check for modules that should use `prelude` #4611: Pull request #5422 opened by semorrison
September 23, 2024 03:30 13s decidableEq_arry
decidableEq_arry
September 23, 2024 03:30 13s
PR release PR release #12223: completed by github-merge-queue bot
September 23, 2024 03:26 1s
September 23, 2024 03:26 1s
feat: implement To/FromJSON Empty Label PR based on Comment #6777: Issue comment #5421 (comment) created by TomasPuverle
September 23, 2024 03:26 2s
September 23, 2024 03:26 2s
PR release PR release #12222: completed by TomasPuverle
September 23, 2024 03:25 2s
September 23, 2024 03:25 2s
feat: implement To/FromJSON Empty Check PR title for commit convention #9089: Pull request #5421 synchronize by TomasPuverle
September 23, 2024 03:25 11s TomasPuverle:empty_json
TomasPuverle:empty_json
September 23, 2024 03:25 11s
feat: implement To/FromJSON Empty Check for stage0 changes #4422: Pull request #5421 synchronize by TomasPuverle
September 23, 2024 03:25 53s TomasPuverle:empty_json
TomasPuverle:empty_json
September 23, 2024 03:25 53s
feat: implement To/FromJSON Empty CI #21676: Pull request #5421 synchronize by TomasPuverle
September 23, 2024 03:25 18m 52s TomasPuverle:empty_json
TomasPuverle:empty_json
September 23, 2024 03:25 18m 52s
feat: implement To/FromJSON Empty Check for copyright header #4765: Pull request #5421 synchronize by TomasPuverle
September 23, 2024 03:25 34s TomasPuverle:empty_json
TomasPuverle:empty_json
September 23, 2024 03:25 34s
feat: implement To/FromJSON Empty Check for modules that should use `prelude` #4610: Pull request #5421 synchronize by TomasPuverle
September 23, 2024 03:25 15s TomasPuverle:empty_json
TomasPuverle:empty_json
September 23, 2024 03:25 15s
feat: implement To/FromJSON Empty Nix CI #18507: Pull request #5421 synchronize by TomasPuverle
September 23, 2024 03:25 15m 43s TomasPuverle:empty_json
TomasPuverle:empty_json
September 23, 2024 03:25 15m 43s
feat: implement To/FromJSON Empty Check for modules that should use `prelude` #4609: Pull request #5421 opened by TomasPuverle
September 23, 2024 03:17 13s TomasPuverle:empty_json
TomasPuverle:empty_json
September 23, 2024 03:17 13s