Skip to content

Actions: leanprover-community/import-graph

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
224 workflow runs
224 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build the project Build #224: Commit f72319c pushed by kim-em
January 14, 2025 02:43 24s v4.16.0-rc2
v4.16.0-rc2
January 14, 2025 02:43 24s
Build the project Build #223: Commit f72319c pushed by kim-em
January 14, 2025 02:41 40s main
main
January 14, 2025 02:41 40s
Build the project Build #222: Commit ae14fac pushed by kim-em
January 14, 2025 02:40 40s bump_to_v4.16.0-rc2
bump_to_v4.16.0-rc2
January 14, 2025 02:40 40s
Build the project Build #221: Commit 18d461b pushed by kim-em
January 10, 2025 01:27 53s main
main
January 10, 2025 01:27 53s
Build the project Build #220: Commit 9cb7940 pushed by kim-em
January 4, 2025 05:23 27s v4.16.0-rc1
v4.16.0-rc1
January 4, 2025 05:23 27s
Build the project Build #219: Commit 9cb7940 pushed by kim-em
January 4, 2025 05:22 39s main
main
January 4, 2025 05:22 39s
Build the project Build #218: Commit eda37c9 pushed by kim-em
January 4, 2025 05:20 47s bump_to_v4.16.0-rc1
bump_to_v4.16.0-rc1
January 4, 2025 05:20 47s
Build the project Build #217: Commit 42b1d03 pushed by kim-em
January 4, 2025 05:20 40s bump_to_v4.16.0-rc1
bump_to_v4.16.0-rc1
January 4, 2025 05:20 40s
Build the project Build #216: Commit 9a0b533 pushed by kim-em
January 4, 2025 03:31 38s v4.15.0
v4.15.0
January 4, 2025 03:31 38s
Build the project Build #215: Commit 9a0b533 pushed by kim-em
January 4, 2025 03:31 47s main
main
January 4, 2025 03:31 47s
Build the project Build #214: Commit 745a48f pushed by kim-em
January 4, 2025 03:28 46s bump_to_v4.15.0
bump_to_v4.15.0
January 4, 2025 03:28 46s
Build the project Build #213: Commit ed3b856 pushed by kim-em
December 2, 2024 03:22 43s v4.15.0-rc1
v4.15.0-rc1
December 2, 2024 03:22 43s
Build the project Build #212: Commit ed3b856 pushed by kim-em
December 2, 2024 03:22 48s main
main
December 2, 2024 03:22 48s
Build the project Build #211: Commit 7943a45 pushed by kim-em
December 2, 2024 03:21 25s bump_toolchain_to_v4.15.0-rc1
bump_toolchain_to_v4.15.0-rc1
December 2, 2024 03:21 25s
Build the project Build #210: Commit da3e5c6 pushed by kim-em
December 2, 2024 03:19 41s bump_toolchain_to_v4.15.0-rc1
bump_toolchain_to_v4.15.0-rc1
December 2, 2024 03:19 41s
Build the project Build #209: Commit b62d015 pushed by kim-em
December 2, 2024 03:08 28s bump_toolchain_to_v4.15.0-rc1
bump_toolchain_to_v4.15.0-rc1
December 2, 2024 03:08 28s
Build the project Build #208: Commit 519e509 pushed by kim-em
December 2, 2024 00:26 39s v4.14.0
v4.14.0
December 2, 2024 00:26 39s
Build the project Build #207: Commit 519e509 pushed by kim-em
December 2, 2024 00:25 47s main
main
December 2, 2024 00:25 47s
Build the project Build #206: Commit 4d8efd3 pushed by kim-em
December 2, 2024 00:24 38s bump_toolchain_to_v4.14.0
bump_toolchain_to_v4.14.0
December 2, 2024 00:24 38s
Build the project Build #205: Commit a75e35f pushed by kim-em
November 20, 2024 21:33 42s nightly-testing
nightly-testing
November 20, 2024 21:33 42s
Build the project Build #204: Commit 119b022 pushed by kim-em
November 15, 2024 03:49 29s main
main
November 15, 2024 03:49 29s
Build the project Build #203: Commit 0fc755a pushed by kim-em
November 14, 2024 08:56 41s nightly-testing
nightly-testing
November 14, 2024 08:56 41s
Build the project Build #202: Commit 413263e pushed by eric-wieser
November 14, 2024 01:00 35s eric-wieser-patch-2
eric-wieser-patch-2
November 14, 2024 01:00 35s
Build the project Build #201: Commit c9ac6d4 pushed by eric-wieser
November 14, 2024 01:00 21s eric-wieser-patch-2
eric-wieser-patch-2
November 14, 2024 01:00 21s
Build the project Build #200: Commit b0b73e5 pushed by kim-em
November 11, 2024 09:52 31s main
main
November 11, 2024 09:52 31s