Skip to content

Actions: YaelDillies/add-combi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
97 workflow runs
97 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: switch to lakefile.toml (#1) continuous integration (mathlib forks) #39: Commit 7c94731 pushed by YaelDillies
February 12, 2025 04:21 3s master
master
February 12, 2025 04:21 3s
chore: switch to lakefile.toml (#1) continuous integration #39: Commit 7c94731 pushed by YaelDillies
February 12, 2025 04:21 5m 28s master
master
February 12, 2025 04:21 5m 28s
feat: Balog-Szemerédi-Gowers continuous integration (mathlib forks) #38: Commit 5ba311a pushed by YaelDillies
February 6, 2025 06:57 2s bsg
bsg
February 6, 2025 06:57 2s
feat: Balog-Szemerédi-Gowers continuous integration #38: Commit 5ba311a pushed by YaelDillies
February 6, 2025 06:57 1m 39s bsg
bsg
February 6, 2025 06:57 1m 39s
Mathlib-like CI continuous integration #37: Commit f493771 pushed by YaelDillies
February 6, 2025 06:56 5m 4s master
master
February 6, 2025 06:56 5m 4s
Mathlib-like CI continuous integration (mathlib forks) #37: Commit f493771 pushed by YaelDillies
February 6, 2025 06:56 2s master
master
February 6, 2025 06:56 2s
Simple-minded CI Build Lean project #18: Commit 2bb2d4b pushed by YaelDillies
February 6, 2025 06:56 1m 27s master
master
February 6, 2025 06:56 1m 27s
feat: Balog-Szemerédi-Gowers continuous integration #36: Commit 0fb49c8 pushed by YaelDillies
February 5, 2025 21:56 1m 38s bsg
bsg
February 5, 2025 21:56 1m 38s
feat: Balog-Szemerédi-Gowers continuous integration (mathlib forks) #36: Commit 0fb49c8 pushed by YaelDillies
February 5, 2025 21:56 2s bsg
bsg
February 5, 2025 21:56 2s
Mathlib-like CI continuous integration #35: Commit 88fd3bb pushed by YaelDillies
February 5, 2025 19:31 5m 16s master
master
February 5, 2025 19:31 5m 16s
Mathlib-like CI continuous integration (mathlib forks) #35: Commit 88fd3bb pushed by YaelDillies
February 5, 2025 19:31 2s master
master
February 5, 2025 19:31 2s
Simple-minded CI Build Lean project #17: Commit 8c1c292 pushed by YaelDillies
February 5, 2025 19:30 1m 30s master
master
February 5, 2025 19:30 1m 30s
Mathlib-style CI continuous integration (mathlib forks) #34: Commit b38c638 pushed by YaelDillies
February 5, 2025 19:27 2s master
master
February 5, 2025 19:27 2s
Mathlib-style CI continuous integration #34: Commit b38c638 pushed by YaelDillies
February 5, 2025 19:27 5m 11s master
master
February 5, 2025 19:27 5m 11s
Try fixing the CSS continuous integration #33: Commit f18e922 pushed by YaelDillies
February 5, 2025 19:23 5m 23s master
master
February 5, 2025 19:23 5m 23s
Try fixing the CSS continuous integration (mathlib forks) #33: Commit f18e922 pushed by YaelDillies
February 5, 2025 19:23 3s master
master
February 5, 2025 19:23 3s
Mathlib-style CI continuous integration (mathlib forks) #32: Commit 794c46b pushed by YaelDillies
February 5, 2025 13:33 3s master
master
February 5, 2025 13:33 3s
Mathlib-style CI continuous integration #32: Commit 794c46b pushed by YaelDillies
February 5, 2025 13:33 5m 15s master
master
February 5, 2025 13:33 5m 15s
Mathlib-style CI continuous integration (mathlib forks) #31: Commit 2263689 pushed by YaelDillies
February 5, 2025 13:27 2s master
master
February 5, 2025 13:27 2s
Mathlib-style CI continuous integration #31: Commit 2263689 pushed by YaelDillies
February 5, 2025 13:27 2m 38s master
master
February 5, 2025 13:27 2m 38s
Simple-minded CI Build Lean project #16: Commit 1e7c6ca pushed by YaelDillies
February 5, 2025 13:26 1m 27s master
master
February 5, 2025 13:26 1m 27s
Mathlib-like CI continuous integration (mathlib forks) #30: Commit c72b3c0 pushed by YaelDillies
February 5, 2025 12:59 3s master
master
February 5, 2025 12:59 3s
Mathlib-like CI continuous integration #30: Commit c72b3c0 pushed by YaelDillies
February 5, 2025 12:59 5m 22s master
master
February 5, 2025 12:59 5m 22s
Simple-minded CI Build Lean project #15: Commit b3cb941 pushed by YaelDillies
February 5, 2025 12:58 4m 9s master
master
February 5, 2025 12:58 4m 9s
Mathlib-like CI continuous integration #29: Commit 5df5ec7 pushed by YaelDillies
February 5, 2025 11:25 5m 3s master
master
February 5, 2025 11:25 5m 3s