Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (windows)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

verbose continuous integration (windows) #13: Commit 9bb1d83 pushed by edegeltje
January 7, 2025 12:56 1m 20s blizzard_inc/debug_ci_windows_lean6535
blizzard_inc/debug_ci_windows_lean6535
January 7, 2025 12:56 1m 20s
do make sure script exists continuous integration (windows) #12: Commit ceacafd pushed by edegeltje
January 7, 2025 12:47 1m 23s blizzard_inc/debug_ci_windows_lean6535
blizzard_inc/debug_ci_windows_lean6535
January 7, 2025 12:47 1m 23s
forgor about that bit continuous integration (windows) #11: Commit 34bcb21 pushed by edegeltje
January 7, 2025 12:46 18s blizzard_inc/debug_ci_windows_lean6535
blizzard_inc/debug_ci_windows_lean6535
January 7, 2025 12:46 18s
fix now. continuous integration (windows) #10: Commit a3a47cb pushed by edegeltje
January 7, 2025 12:45 Failure blizzard_inc/debug_ci_windows_lean6535
blizzard_inc/debug_ci_windows_lean6535
January 7, 2025 12:45 Failure
pls work continuous integration (windows) #9: Commit 0aa5d4c pushed by edegeltje
January 7, 2025 12:43 15s blizzard_inc/debug_ci_windows_lean6535
blizzard_inc/debug_ci_windows_lean6535
January 7, 2025 12:43 15s
hope2 continuous integration (windows) #8: Commit 24ee6d1 pushed by edegeltje
January 7, 2025 12:42 Failure blizzard_inc/debug_ci_windows_lean6535
blizzard_inc/debug_ci_windows_lean6535
January 7, 2025 12:42 Failure
hope continuous integration (windows) #7: Commit 746e44d pushed by edegeltje
January 7, 2025 12:41 Failure blizzard_inc/debug_ci_windows_lean6535
blizzard_inc/debug_ci_windows_lean6535
January 7, 2025 12:41 Failure
try again continuous integration (windows) #6: Commit 9028a84 pushed by edegeltje
January 7, 2025 12:28 15s blizzard_inc/debug_ci_windows_lean6535
blizzard_inc/debug_ci_windows_lean6535
January 7, 2025 12:28 15s
now with actual workflow continuous integration (windows) #5: Commit 8dfb8c1 pushed by edegeltje
January 7, 2025 12:26 15s blizzard_inc/debug_ci_windows_lean6535
blizzard_inc/debug_ci_windows_lean6535
January 7, 2025 12:26 15s
quickfail continuous integration (windows) #4: Commit 82f2e6c pushed by edegeltje
January 7, 2025 12:23 Failure blizzard_inc/debug_ci_windows_lean6535
blizzard_inc/debug_ci_windows_lean6535
January 7, 2025 12:23 Failure
Merge remote-tracking branch 'origin/lean-pr-testing-6535' into blizz… continuous integration (windows) #3: Commit 084e871 pushed by edegeltje
January 7, 2025 12:08 1m 31s blizzard_inc/debug_ci_windows_lean6535
blizzard_inc/debug_ci_windows_lean6535
January 7, 2025 12:08 1m 31s
try 2 continuous integration (windows) #2: Commit 55f4b5c pushed by edegeltje
January 7, 2025 11:57 1m 33s blizzard_inc/debug_ci_windows_test
blizzard_inc/debug_ci_windows_test
January 7, 2025 11:57 1m 33s
try no.1 continuous integration (windows) #1: Commit 9595948 pushed by edegeltje
January 7, 2025 11:11 19m 24s blizzard_inc/debug_ci_windows_test
blizzard_inc/debug_ci_windows_test
January 7, 2025 11:11 19m 24s