Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
879 workflow run results
879 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #1515: Scheduled
October 25, 2023 23:15 14s main
main
October 25, 2023 23:15 14s
Merge conflicts Merge conflicts #1514: Scheduled
October 25, 2023 22:14 14s main
main
October 25, 2023 22:14 14s
feat: Migrate #print prefix from Mathlib ci #1607: Pull request #321 synchronize by joehendrix
October 25, 2023 21:59 3m 9s print-prefix
print-prefix
October 25, 2023 21:59 3m 9s
fix: Update long-line check for only Std - not tests. ci #1606: Commit b5d0ca9 pushed by joehendrix
October 25, 2023 21:58 2m 31s print-prefix
print-prefix
October 25, 2023 21:58 2m 31s
Merge conflicts Merge conflicts #1513: Scheduled
October 25, 2023 21:13 15s main
main
October 25, 2023 21:13 15s
Merge conflicts Merge conflicts #1512: Scheduled
October 25, 2023 20:16 17s main
main
October 25, 2023 20:16 17s
feat: Migrate #print prefix from Mathlib ci #1605: Pull request #321 synchronize by joehendrix
October 25, 2023 19:57 2m 28s print-prefix
print-prefix
October 25, 2023 19:57 2m 28s
chore: Add Std.Tactic.PrintPrefix to Std.lean ci #1604: Commit 9385974 pushed by joehendrix
October 25, 2023 19:57 3m 33s print-prefix
print-prefix
October 25, 2023 19:57 3m 33s
Merge conflicts Merge conflicts #1511: Scheduled
October 25, 2023 19:12 16s main
main
October 25, 2023 19:12 16s
feat: Migrate #print prefix from Mathlib ci #1603: Pull request #321 synchronize by joehendrix
October 25, 2023 18:44 2m 58s print-prefix
print-prefix
October 25, 2023 18:44 2m 58s
chore: Add docstring to local function. ci #1602: Commit a61c6aa pushed by joehendrix
October 25, 2023 18:44 2m 34s print-prefix
print-prefix
October 25, 2023 18:44 2m 34s
feat: Migrate #print prefix from Mathlib ci #1601: Pull request #321 synchronize by joehendrix
October 25, 2023 18:39 3m 4s print-prefix
print-prefix
October 25, 2023 18:39 3m 4s
chore: Add Std.Lean.Util.EnvSearch to Std.lean ci #1600: Commit 76d871b pushed by joehendrix
October 25, 2023 18:38 3m 49s print-prefix
print-prefix
October 25, 2023 18:38 3m 49s
feat: Migrate #print prefix from Mathlib ci #1599: Pull request #321 opened by joehendrix
October 25, 2023 18:37 3m 5s print-prefix
print-prefix
October 25, 2023 18:37 3m 5s
feat: Migrate #print prefix from Mathlib ci #1598: Commit 488f454 pushed by joehendrix
October 25, 2023 18:36 3m 14s print-prefix
print-prefix
October 25, 2023 18:36 3m 14s
Merge conflicts Merge conflicts #1510: Scheduled
October 25, 2023 18:18 13s main
main
October 25, 2023 18:18 13s
Merge conflicts Merge conflicts #1509: Scheduled
October 25, 2023 17:13 17s main
main
October 25, 2023 17:13 17s
Merge conflicts Merge conflicts #1508: Scheduled
October 25, 2023 16:19 15s main
main
October 25, 2023 16:19 15s
Merge conflicts Merge conflicts #1507: Scheduled
October 25, 2023 15:15 18s main
main
October 25, 2023 15:15 18s
Merge conflicts Merge conflicts #1506: Scheduled
October 25, 2023 14:14 16s main
main
October 25, 2023 14:14 16s
Merge conflicts Merge conflicts #1505: Scheduled
October 25, 2023 13:18 15s main
main
October 25, 2023 13:18 15s
Merge conflicts Merge conflicts #1504: Scheduled
October 25, 2023 12:30 16s main
main
October 25, 2023 12:30 16s
chore: bump toolchain to v4.1.0 ci #1597: Commit 5739056 pushed by kim-em
October 25, 2023 12:24 3m 26s stable
stable
October 25, 2023 12:24 3m 26s
Merge conflicts Merge conflicts #1503: Scheduled
October 25, 2023 11:12 21s main
main
October 25, 2023 11:12 21s
Merge conflicts Merge conflicts #1502: Scheduled
October 25, 2023 10:16 1m 13s main
main
October 25, 2023 10:16 1m 13s