Skip to content

Actions: spapanik/mathlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
105 workflow runs
105 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scheduled CodeQL #91: by github-advanced-security bot
November 13, 2024 03:00 1m 19s
November 13, 2024 03:00 1m 19s
👷 Run CI/CD for windows tests #25: Commit d2e9e76 pushed by spapanik
November 12, 2024 22:23 4m 7s main
main
November 12, 2024 22:23 4m 7s
👷 Run CI/CD for windows build #37: Commit d2e9e76 pushed by spapanik
November 12, 2024 22:23 1m 55s main
main
November 12, 2024 22:23 1m 55s
👷 Run CI/CD for windows lint #8: Commit d2e9e76 pushed by spapanik
November 12, 2024 22:23 3m 49s main
main
November 12, 2024 22:23 3m 49s
Push on main CodeQL #90: by spapanik
November 12, 2024 22:23 3m 10s
November 12, 2024 22:23 3m 10s
📚 Fix a typo build #36: Commit 178efa6 pushed by spapanik
November 10, 2024 23:02 1m 11s main
main
November 10, 2024 23:02 1m 11s
📚 Fix a typo lint #7: Commit 178efa6 pushed by spapanik
November 10, 2024 23:02 52s main
main
November 10, 2024 23:02 52s
📚 Fix a typo tests #24: Commit 178efa6 pushed by spapanik
November 10, 2024 23:02 31s main
main
November 10, 2024 23:02 31s
Push on main CodeQL #89: by spapanik
November 10, 2024 23:02 1m 12s
November 10, 2024 23:02 1m 12s
Scheduled CodeQL #88: by github-advanced-security bot
November 6, 2024 03:00 1m 25s
November 6, 2024 03:00 1m 25s
Scheduled CodeQL #87: by github-advanced-security bot
October 30, 2024 03:00 2m 6s
October 30, 2024 03:00 2m 6s
👷 Add 3.13 to CI pipeline tests #23: Commit 8356d15 pushed by spapanik
October 26, 2024 21:49 45s main
main
October 26, 2024 21:49 45s
Push on main CodeQL #86: by spapanik
October 26, 2024 21:49 2m 28s
October 26, 2024 21:49 2m 28s
Scheduled CodeQL #85: by github-advanced-security bot
October 23, 2024 03:00 2m 9s
October 23, 2024 03:00 2m 9s
⏫ Upgrade dependencies tests #22: Commit e10370e pushed by spapanik
October 18, 2024 15:56 55s main
main
October 18, 2024 15:56 55s
Push on main CodeQL #84: by github-advanced-security bot
October 18, 2024 15:56 2m 11s
October 18, 2024 15:56 2m 11s
Scheduled CodeQL #83: by github-advanced-security bot
October 16, 2024 03:00 2m 19s
October 16, 2024 03:00 2m 19s
Scheduled CodeQL #82: by github-advanced-security bot
October 9, 2024 03:00 2m 25s
October 9, 2024 03:00 2m 25s
Scheduled CodeQL #81: by github-advanced-security bot
October 2, 2024 03:00 1m 47s
October 2, 2024 03:00 1m 47s
Scheduled CodeQL #80: by github-advanced-security bot
September 25, 2024 03:00 2m 15s
September 25, 2024 03:00 2m 15s
Scheduled CodeQL #79: by github-advanced-security bot
September 18, 2024 03:00 2m 23s
September 18, 2024 03:00 2m 23s
Scheduled CodeQL #78: by github-advanced-security bot
September 11, 2024 03:00 1m 56s
September 11, 2024 03:00 1m 56s
⏫ Update dependencies tests #21: Commit a39fd77 pushed by spapanik
September 6, 2024 15:31 32s main
main
September 6, 2024 15:31 32s
Push on main CodeQL #77: by github-advanced-security bot
September 6, 2024 15:31 2m 17s
September 6, 2024 15:31 2m 17s
Scheduled CodeQL #76: by github-advanced-security bot
September 4, 2024 03:00 1m 54s
September 4, 2024 03:00 1m 54s