Skip to content

Actions: spapanik/mathlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
165 workflow runs
165 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scheduled CodeQL #185: by github-advanced-security bot
59s main
main
59s
Scheduled CodeQL #184: by github-advanced-security bot
59s main
main
59s
Scheduled CodeQL #183: by github-advanced-security bot
56s main
main
56s
Scheduled CodeQL #182: by github-advanced-security bot
52s main
main
52s
Scheduled CodeQL #181: by github-advanced-security bot
50s main
main
50s
✨ Modernise config tests #55: Commit 3e430fe pushed by spapanik
1m 45s main
main
1m 45s
✨ Modernise config lint #38: Commit 3e430fe pushed by spapanik
1m 39s main
main
1m 39s
✨ Modernise config build #67: Commit 3e430fe pushed by spapanik
1m 2s main
main
1m 2s
Push on main CodeQL #180: by github-advanced-security bot
1m 14s main
main
1m 14s
Scheduled CodeQL #179: by github-advanced-security bot
56s main
main
56s
Scheduled CodeQL #178: by github-advanced-security bot
48s main
main
48s
Scheduled CodeQL #177: by github-advanced-security bot
50s main
main
50s
Scheduled CodeQL #176: by github-advanced-security bot
54s main
main
54s
Scheduled CodeQL #175: by github-advanced-security bot
1m 9s main
main
1m 9s
Scheduled CodeQL #174: by github-advanced-security bot
50s main
main
50s
🔧 Update config build #66: Commit 93c323c pushed by spapanik
1m 20s main
main
1m 20s
🔧 Update config tests #54: Commit 93c323c pushed by spapanik
1m 39s main
main
1m 39s
🔧 Update config lint #37: Commit 93c323c pushed by spapanik
1m 35s main
main
1m 35s
Push on main CodeQL #173: by spapanik
1m 2s main
main
1m 2s
Scheduled CodeQL #172: by github-advanced-security bot
55s main
main
55s
🔧 Update config lint #36: Commit 1bdc250 pushed by spapanik
8m 0s main
main
8m 0s
🔧 Update config build #65: Commit 1bdc250 pushed by spapanik
6m 47s main
main
6m 47s
🔧 Update config tests #53: Commit 1bdc250 pushed by spapanik
5m 50s main
main
5m 50s
Push on main CodeQL #171: by spapanik
2m 51s main
main
2m 51s
🔧 Update config build #64: Commit 39cb942 pushed by spapanik
1m 1s main
main
1m 1s