Skip to content

Actions: leanprover/std4

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
17,004 workflow runs
17,004 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge conflicts Merge conflicts #5876: Scheduled
May 2, 2024 08:06 14s main
main
May 2, 2024 08:06 14s
Merge conflicts Merge conflicts #5875: Scheduled
May 2, 2024 07:05 10s main
main
May 2, 2024 07:05 10s
Merge conflicts Merge conflicts #5874: Scheduled
May 2, 2024 06:06 10s main
main
May 2, 2024 06:06 10s
chore: add Union and SDiff instances for Std.RBSet Label PR based on Comment #991: Issue comment #775 (comment) created by thelissimus
May 2, 2024 05:32 12s
May 2, 2024 05:32 12s
chore: add Union and SDiff instances for Std.RBSet ci #6023: Pull request #775 opened by thelissimus
May 2, 2024 05:32 Action required thelissimus:rbset_union_sdiff
thelissimus:rbset_union_sdiff
May 2, 2024 05:32 Action required
Merge conflicts Merge conflicts #5873: Scheduled
May 2, 2024 05:05 23s main
main
May 2, 2024 05:05 23s
Merge conflicts Merge conflicts #5872: Scheduled
May 2, 2024 04:05 14s main
main
May 2, 2024 04:05 14s
Merge conflicts Merge conflicts #5871: Scheduled
May 2, 2024 03:05 15s main
main
May 2, 2024 03:05 15s
Merge conflicts Merge conflicts #5870: Scheduled
May 2, 2024 02:12 11s main
main
May 2, 2024 02:12 11s
Merge conflicts Merge conflicts #5869: Scheduled
May 2, 2024 01:27 10s main
main
May 2, 2024 01:27 10s
Merge conflicts Merge conflicts #5868: Scheduled
May 2, 2024 00:19 11s main
main
May 2, 2024 00:19 11s
Merge conflicts Merge conflicts #5867: Scheduled
May 1, 2024 23:05 14s main
main
May 1, 2024 23:05 14s
Merge conflicts Merge conflicts #5866: Scheduled
May 1, 2024 22:05 10s main
main
May 1, 2024 22:05 10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4116: completed by leanprover-community-mathlib4-bot
May 1, 2024 21:59 3s
May 1, 2024 21:59 3s
Trigger CI for https://github.com/leanprover/lean4/pull/4047 ci #6021: Commit e4df82e pushed by leanprover-community-mathlib4-bot
May 1, 2024 21:57 1m 56s lean-pr-testing-4047
lean-pr-testing-4047
May 1, 2024 21:57 1m 56s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4115: completed by leanprover-community-mathlib4-bot
May 1, 2024 21:33 2s
May 1, 2024 21:33 2s
Trigger CI for https://github.com/leanprover/lean4/pull/4045 ci #6020: Commit 01817d8 pushed by leanprover-community-mathlib4-bot
May 1, 2024 21:31 1m 52s lean-pr-testing-4045
lean-pr-testing-4045
May 1, 2024 21:31 1m 52s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4114: completed by leanprover-community-mathlib4-bot
May 1, 2024 21:29 2s
May 1, 2024 21:29 2s
Trigger CI for https://github.com/leanprover/lean4/pull/4002 ci #6019: Commit 76528e3 pushed by leanprover-community-mathlib4-bot
May 1, 2024 21:27 1m 39s lean-pr-testing-4002
lean-pr-testing-4002
May 1, 2024 21:27 1m 39s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4113: completed by nomeata
May 1, 2024 21:19 2s
May 1, 2024 21:19 2s
Merge commit '20a48c9c02e135138d8281c50f772269d78eb1fc' into lean-pr-… ci #6018: Commit bdf55e8 pushed by nomeata
May 1, 2024 21:18 1m 39s lean-pr-testing-4002
lean-pr-testing-4002
May 1, 2024 21:18 1m 39s
Merge conflicts Merge conflicts #5865: Scheduled
May 1, 2024 21:05 17s main
main
May 1, 2024 21:05 17s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4112: completed by leanprover-community-mathlib4-bot
May 1, 2024 20:57 2s
May 1, 2024 20:57 2s
Trigger CI for https://github.com/leanprover/lean4/pull/4002 ci #6017: Commit b13dd96 pushed by leanprover-community-mathlib4-bot
May 1, 2024 20:55 1m 53s lean-pr-testing-4002
lean-pr-testing-4002
May 1, 2024 20:55 1m 53s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4111: completed by nomeata
May 1, 2024 20:41 3s
May 1, 2024 20:41 3s