Skip to content

Actions: marcusrossel/batteries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix test cases build & test #1: Commit b34c078 pushed by marcusrossel
October 25, 2024 15:24 1h 49m 42s main
main
October 25, 2024 15:24 1h 49m 42s
Merge conflicts Merge conflicts #7: Scheduled
October 25, 2024 15:21 3s main
main
October 25, 2024 15:21 3s
Merge conflicts Merge conflicts #6: Scheduled
October 25, 2024 14:18 3s main
main
October 25, 2024 14:18 3s
Merge conflicts Merge conflicts #5: Scheduled
October 25, 2024 13:26 2s main
main
October 25, 2024 13:26 2s
Merge conflicts Merge conflicts #4: Scheduled
October 25, 2024 12:39 2s main
main
October 25, 2024 12:39 2s
Merge conflicts Merge conflicts #3: Scheduled
October 25, 2024 11:16 3s main
main
October 25, 2024 11:16 3s
Merge conflicts Merge conflicts #2: Scheduled
October 25, 2024 10:21 3s main
main
October 25, 2024 10:21 3s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1: Scheduled
October 25, 2024 09:22 2s main
main
October 25, 2024 09:22 2s
Merge conflicts Merge conflicts #1: Scheduled
October 25, 2024 09:21 2s main
main
October 25, 2024 09:21 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1: completed by marcusrossel
October 25, 2024 08:30 2s
October 25, 2024 08:30 2s
Test Mathlib Test Mathlib #1: completed by marcusrossel
October 25, 2024 08:30 2s
October 25, 2024 08:30 2s
chore: switch to lakefile.toml (#1005) Merge main to nightly #1: Commit dc72dcd pushed by marcusrossel
October 25, 2024 08:28 2s main
main
October 25, 2024 08:28 2s
chore: switch to lakefile.toml (#1005) ci #1: Commit dc72dcd pushed by marcusrossel
October 25, 2024 08:28 1m 35s main
main
October 25, 2024 08:28 1m 35s