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

feat: add LawCommIdentity + IdempotentOp for BitVec.[and|or|xor] Check PR title for commit convention #9094: Pull request #5416 synchronize by tobiasgrosser
September 23, 2024 04:08 10s opencompl:bitvec_identity_idempotent
opencompl:bitvec_identity_idempotent
September 23, 2024 04:08 10s
feat: add LawCommIdentity + IdempotentOp for BitVec.[and|or|xor] Check for stage0 changes #4427: Pull request #5416 synchronize by tobiasgrosser
September 23, 2024 04:08 54s opencompl:bitvec_identity_idempotent
opencompl:bitvec_identity_idempotent
September 23, 2024 04:08 54s
feat: add LawCommIdentity + IdempotentOp for BitVec.[and|or|xor] Check for modules that should use `prelude` #4613: Pull request #5416 synchronize by tobiasgrosser
September 23, 2024 04:08 14s opencompl:bitvec_identity_idempotent
opencompl:bitvec_identity_idempotent
September 23, 2024 04:08 14s
feat: add LawCommIdentity + IdempotentOp for BitVec.[and|or|xor] Check for copyright header #4768: Pull request #5416 synchronize by tobiasgrosser
September 23, 2024 04:08 32s opencompl:bitvec_identity_idempotent
opencompl:bitvec_identity_idempotent
September 23, 2024 04:08 32s
feat: add LawCommIdentity + IdempotentOp for BitVec.[and|or|xor] CI #21682: Pull request #5416 synchronize by tobiasgrosser
September 23, 2024 04:08 16m 42s opencompl:bitvec_identity_idempotent
opencompl:bitvec_identity_idempotent
September 23, 2024 04:08 16m 42s
feat: add LawCommIdentity + IdempotentOp for BitVec.[and|or|xor] Nix CI #18512: Pull request #5416 synchronize by tobiasgrosser
September 23, 2024 04:07 1m 37s opencompl:bitvec_identity_idempotent
opencompl:bitvec_identity_idempotent
September 23, 2024 04:07 1m 37s
feat: add LawCommIdentity + IdempotentOp for BitVec.[and|or|xor] Check for modules that should use `prelude` #4612: Pull request #5416 synchronize by tobiasgrosser
September 23, 2024 04:07 15s opencompl:bitvec_identity_idempotent
opencompl:bitvec_identity_idempotent
September 23, 2024 04:07 15s
feat: add LawCommIdentity + IdempotentOp for BitVec.[and|or|xor] CI #21681: Pull request #5416 synchronize by tobiasgrosser
September 23, 2024 04:07 1m 50s opencompl:bitvec_identity_idempotent
opencompl:bitvec_identity_idempotent
September 23, 2024 04:07 1m 50s
feat: add LawCommIdentity + IdempotentOp for BitVec.[and|or|xor] Check PR title for commit convention #9093: Pull request #5416 synchronize by tobiasgrosser
September 23, 2024 04:07 11s opencompl:bitvec_identity_idempotent
opencompl:bitvec_identity_idempotent
September 23, 2024 04:07 11s
feat: add LawCommIdentity + IdempotentOp for BitVec.[and|or|xor] Check for copyright header #4767: Pull request #5416 synchronize by tobiasgrosser
September 23, 2024 04:07 35s opencompl:bitvec_identity_idempotent
opencompl:bitvec_identity_idempotent
September 23, 2024 04:07 35s
feat: add LawCommIdentity + IdempotentOp for BitVec.[and|or|xor] Check for stage0 changes #4426: Pull request #5416 synchronize by tobiasgrosser
September 23, 2024 04:07 58s opencompl:bitvec_identity_idempotent
opencompl:bitvec_identity_idempotent
September 23, 2024 04:07 58s
chore: reverse direction of List.set_map Backport #4229: Pull request #5405 closed by semorrison
September 23, 2024 04:06 12s
September 23, 2024 04:06 12s
chore: reverse direction of List.set_map (#5405) Update stage0 #1671: Commit c825b5a pushed by github-merge-queue bot
September 23, 2024 04:06 31s master
master
September 23, 2024 04:06 31s
chore: reverse direction of List.set_map (#5405) CI #21680: Commit c825b5a pushed by github-merge-queue bot
September 23, 2024 04:06 5m 5s master
master
September 23, 2024 04:06 5m 5s
chore: reverse direction of List.set_map (#5405) Nix CI #18511: Commit c825b5a pushed by github-merge-queue bot
September 23, 2024 04:06 5m 5s master
master
September 23, 2024 04:06 5m 5s
PR release PR release #12226: completed by semorrison
September 23, 2024 04:06 1s
September 23, 2024 04:06 1s
feat: refactor DecidableEq (Array α) Label PR based on Comment #6780: Issue comment #5422 (comment) created by leanprover-community-mathlib4-bot
September 23, 2024 03:52 2s
September 23, 2024 03:52 2s
Check for stage0 changes Check for stage0 changes #4425: Merge group checks requested
September 23, 2024 03:49 47s
September 23, 2024 03:49 47s
CI CI #21679: Merge group checks requested
September 23, 2024 03:49 21m 13s
September 23, 2024 03:49 21m 13s
Check PR title for commit convention Check PR title for commit convention #9092: Merge group checks requested
September 23, 2024 03:49 8s
September 23, 2024 03:49 8s
Nix CI Nix CI #18510: Merge group checks requested
September 23, 2024 03:49 18m 17s
September 23, 2024 03:49 18m 17s
Actionlint Actionlint #2131: Merge group checks requested
September 23, 2024 03:49 2m 50s
September 23, 2024 03:49 2m 50s
PR release PR release #12225: completed by semorrison
September 23, 2024 03:49 3m 19s
September 23, 2024 03:49 3m 19s
feat: implement To/FromJSON Empty Label PR based on Comment #6779: Issue comment #5421 (comment) created by leanprover-community-mathlib4-bot
September 23, 2024 03:47 1s
September 23, 2024 03:47 1s
Check for stage0 changes Check for stage0 changes #4424: Merge group checks requested
September 23, 2024 03:44 44s
September 23, 2024 03:44 44s