Skip to content

Actions: Andrews54757/FastStream

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
328 workflow runs
328 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
ci: build LeanCert before q replay Temporary R4807035 q kernel verification #2: Commit 58dc31d pushed by InspectorTalon
1h 30m 20s tmp-r4807035-q-verify-20260911
tmp-r4807035-q-verify-20260911
1h 30m 20s
ci: temporary R=4.807035 q kernel verification Temporary R4807035 q kernel verification #1: Commit 38d3d6a pushed by InspectorTalon
1m 56s tmp-r4807035-q-verify-20260911
tmp-r4807035-q-verify-20260911
1m 56s
Stage exact official Lean 4.33.1 runtime ChatGPT Lean 4.33.1 Mathlib bootstrap bridge #5: Commit b4f58bd pushed by InspectorTalon
1m 8s chatgpt-mathlib-4-33-1-bootstrap
chatgpt-mathlib-4-33-1-bootstrap
1m 8s
Split temporary Mathlib bridge artifact ChatGPT Lean 4.33.1 Mathlib bootstrap bridge #4: Commit 87506ab pushed by InspectorTalon
2m 40s chatgpt-mathlib-4-33-1-bootstrap
chatgpt-mathlib-4-33-1-bootstrap
2m 40s
Use axiom-free rfl Mathlib smoke ChatGPT Lean 4.33.1 Mathlib bootstrap bridge #3: Commit 5aa8ba5 pushed by InspectorTalon
2m 50s chatgpt-mathlib-4-33-1-bootstrap
chatgpt-mathlib-4-33-1-bootstrap
2m 50s
ci: temporary Rust 1.98.1 payload relay Temporary Rust 1.98.1 payload relay #1: Commit 6e18b68 pushed by InspectorTalon
38s chatgpt/rust-1.98.1-relay-20260909
chatgpt/rust-1.98.1-relay-20260909
38s
Fix temporary Mathlib smoke theorem ChatGPT Lean 4.33.1 Mathlib bootstrap bridge #2: Commit 4a53602 pushed by InspectorTalon
2m 4s chatgpt-mathlib-4-33-1-bootstrap
chatgpt-mathlib-4-33-1-bootstrap
2m 4s
Add temporary exact Lean/Mathlib bootstrap bridge ChatGPT Lean 4.33.1 Mathlib bootstrap bridge #1: Commit 72bb836 pushed by InspectorTalon
2m 7s chatgpt-mathlib-4-33-1-bootstrap
chatgpt-mathlib-4-33-1-bootstrap
2m 7s
Add temporary exact Rust 1.98.1 bootstrap bridge ChatGPT Rust 1.98.1 bootstrap bridge #1: Commit 2f7ea57 pushed by InspectorTalon
27s chatgpt-rust-1-98-1-bootstrap
chatgpt-rust-1-98-1-bootstrap
27s
build: add .gitattributes so Windows checkouts get LF endings (#550) Build and upload artifacts #335: Commit a833c9a pushed by Andrews54757
31s main
main
31s
Fix build on Windows: parameter shadowed volumeNameLen in cleanGlobPa… Build and upload artifacts #334: Commit 8759bfa pushed by Andrews54757
33s main
main
33s
V1.3.77 Build and upload artifacts #333: Commit d5fe931 pushed by Andrews54757
28s V1.3.77
V1.3.77
28s
V1.3.77 Build and upload artifacts #332: Commit d5fe931 pushed by Andrews54757
26s main
main
26s
V1.3.76 Build and upload artifacts #331: Commit f31b1f1 pushed by Andrews54757
30s V1.3.76
V1.3.76
30s
V1.3.76 Build and upload artifacts #330: Commit f31b1f1 pushed by Andrews54757
26s main
main
26s
Remove firefox dist build for now Build and upload artifacts #329: Commit 74010d2 pushed by Andrews54757
29s main
main
29s
Update Youtube.js Build and upload artifacts #328: Commit dded061 pushed by Andrews54757
31s main
main
31s
Add note for firefox removal Build and upload artifacts #327: Commit c1f3a8f pushed by Andrews54757
29s main
main
29s
V1.3.75 Build and upload artifacts #326: Commit 2129249 pushed by Andrews54757
32s V1.3.75
V1.3.75
32s
V1.3.75 Build and upload artifacts #325: Commit 2129249 pushed by Andrews54757
34s main
main
34s
Copilot code review Copilot code review #1: by Copilot AI
8m 53s refs/pull/496/head
refs/pull/496/head
8m 53s
V1.3.74 Build and upload artifacts #324: Commit 4157c80 pushed by Andrews54757
37s V1.3.74
V1.3.74
37s
V1.3.74 Build and upload artifacts #323: Commit 4157c80 pushed by Andrews54757
30s main
main
30s
Merge branch 'main' of https://github.com/Andrews54757/FastStream Build and upload artifacts #322: Commit 2661c27 pushed by Andrews54757
35s main
main
35s
Don't reset speed configuration Build and upload artifacts #321: Commit bab3583 pushed by Andrews54757
31s main
main
31s