Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
19,592 workflow runs
19,592 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4872: completed by leanprover-community-mathlib4-bot
June 7, 2024 10:26 3s
June 7, 2024 10:26 3s
Trigger CI for https://github.com/leanprover/lean4/pull/4372 ci #6853: Commit 861cf78 pushed by leanprover-community-mathlib4-bot
June 7, 2024 10:24 1m 27s lean-pr-testing-4372
lean-pr-testing-4372
June 7, 2024 10:24 1m 27s
Merge conflicts Merge conflicts #6742: Scheduled
June 7, 2024 10:05 11s main
main
June 7, 2024 10:05 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4871: completed by leanprover-community-mathlib4-bot
June 7, 2024 09:06 19s
June 7, 2024 09:06 19s
Merge conflicts Merge conflicts #6741: Scheduled
June 7, 2024 09:05 2m 11s main
main
June 7, 2024 09:05 2m 11s
chore: bump to nightly-2024-06-07 ci #6852: Commit 8f8f75b pushed by leanprover-community-mathlib4-bot
June 7, 2024 09:05 1m 26s nightly-testing
nightly-testing
June 7, 2024 09:05 1m 26s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #226: Scheduled
June 7, 2024 09:04 13s main
main
June 7, 2024 09:04 13s
feat: strong recursor for lists Label PR based on Comment #1089: Issue comment #828 (comment) created by llllvvuu
June 7, 2024 09:02 2s
June 7, 2024 09:02 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4870: completed by llllvvuu
June 7, 2024 08:48 2s
June 7, 2024 08:48 2s
feat: Nat.strongRecOnMeasure ci #6851: Pull request #829 synchronize by llllvvuu
June 7, 2024 08:47 42s llllvvuu:feat/strong_rec_nat_measure
llllvvuu:feat/strong_rec_nat_measure
June 7, 2024 08:47 42s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4869: completed by llllvvuu
June 7, 2024 08:45 1s
June 7, 2024 08:45 1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4868: completed by llllvvuu
June 7, 2024 08:45 3s
June 7, 2024 08:45 3s
feat: Nat.strongRecOnMeasure ci #6850: Pull request #829 opened by llllvvuu
June 7, 2024 08:44 41s llllvvuu:feat/strong_rec_nat_measure
llllvvuu:feat/strong_rec_nat_measure
June 7, 2024 08:44 41s
feat: strong recursor for lists ci #6849: Pull request #828 opened by llllvvuu
June 7, 2024 08:44 1m 10s llllvvuu:feat/list_strong_rec
llllvvuu:feat/list_strong_rec
June 7, 2024 08:44 1m 10s
Merge conflicts Merge conflicts #6740: Scheduled
June 7, 2024 08:06 14s main
main
June 7, 2024 08:06 14s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4867: completed by leanprover-community-mathlib4-bot
June 7, 2024 07:41 3s
June 7, 2024 07:41 3s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #6848: Commit b0b826a pushed by leanprover-community-mathlib4-bot
June 7, 2024 07:39 1m 30s lean-pr-testing-4372
lean-pr-testing-4372
June 7, 2024 07:39 1m 30s
Merge conflicts Merge conflicts #6739: Scheduled
June 7, 2024 07:05 10s main
main
June 7, 2024 07:05 10s
Merge conflicts Merge conflicts #6738: Scheduled
June 7, 2024 06:06 15s main
main
June 7, 2024 06:06 15s
Merge conflicts Merge conflicts #6737: Scheduled
June 7, 2024 05:05 11s main
main
June 7, 2024 05:05 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4866: completed by fgdorais
June 7, 2024 04:38 2s
June 7, 2024 04:38 2s
feat: Fin.foldlM and Fin.foldrM ci #6847: Pull request #814 synchronize by fgdorais
June 7, 2024 04:37 46s fgdorais:fgdorais-foldm
fgdorais:fgdorais-foldm
June 7, 2024 04:37 46s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4865: completed by fgdorais
June 7, 2024 04:36 3s
June 7, 2024 04:36 3s
feat: Fin.foldlM and Fin.foldrM ci #6846: Pull request #814 synchronize by fgdorais
June 7, 2024 04:36 25s fgdorais:fgdorais-foldm
fgdorais:fgdorais-foldm
June 7, 2024 04:36 25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4864: completed by leanprover-community-mathlib4-bot
June 7, 2024 04:34 3s
June 7, 2024 04:34 3s