Skip to content

Actions: github-linguist/linguist

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
955 workflow runs
955 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove the space from Lean 4 Run Tests #5488: Pull request #7434 synchronize by eric-wieser
June 7, 2025 16:14 5m 23s eric-wieser:patch-2
eric-wieser:patch-2
June 7, 2025 16:14 5m 23s
Remove the space from Lean 4 Run Tests #5487: Pull request #7434 synchronize by eric-wieser
June 7, 2025 16:00 5m 34s eric-wieser:patch-2
eric-wieser:patch-2
June 7, 2025 16:00 5m 34s
Remove the space from Lean 4 Run Tests #5486: Pull request #7434 synchronize by eric-wieser
June 7, 2025 14:42 3m 7s eric-wieser:patch-2
eric-wieser:patch-2
June 7, 2025 14:42 3m 7s
Remove the space from Lean 4 Run Tests #5485: Pull request #7434 opened by eric-wieser
June 7, 2025 14:39 3m 9s eric-wieser:patch-2
eric-wieser:patch-2
June 7, 2025 14:39 3m 9s
Added Nickel language Run Tests #5484: Pull request #7432 synchronize by mkatychev
June 7, 2025 04:38 5m 29s mkatychev:mkatychev/lang/nickel
mkatychev:mkatychev/lang/nickel
June 7, 2025 04:38 5m 29s
Added Nickel language Run Tests #5483: Pull request #7432 synchronize by mkatychev
June 7, 2025 04:21 5m 28s mkatychev:mkatychev/lang/nickel
mkatychev:mkatychev/lang/nickel
June 7, 2025 04:21 5m 28s
Added Nickel language Run Tests #5482: Pull request #7432 synchronize by mkatychev
June 7, 2025 04:18 5m 24s mkatychev:mkatychev/lang/nickel
mkatychev:mkatychev/lang/nickel
June 7, 2025 04:18 5m 24s
Added Nickel language Run Tests #5481: Pull request #7432 synchronize by mkatychev
June 7, 2025 04:05 5m 23s mkatychev:mkatychev/lang/nickel
mkatychev:mkatychev/lang/nickel
June 7, 2025 04:05 5m 23s
Added Nickel language Run Tests #5480: Pull request #7432 synchronize by mkatychev
June 7, 2025 03:46 5m 22s mkatychev:mkatychev/lang/nickel
mkatychev:mkatychev/lang/nickel
June 7, 2025 03:46 5m 22s
Added Nickel language Run Tests #5479: Pull request #7432 opened by mkatychev
June 7, 2025 03:45 5m 27s mkatychev:mkatychev/lang/nickel
mkatychev:mkatychev/lang/nickel
June 7, 2025 03:45 5m 27s
Tweaked tree-sitter query classification Run Tests #5478: Pull request #7431 synchronize by mkatychev
June 7, 2025 03:28 5m 33s mkatychev:fix/tsq-classification
mkatychev:fix/tsq-classification
June 7, 2025 03:28 5m 33s
Tweaked tree-sitter query classification Run Tests #5477: Pull request #7431 synchronize by mkatychev
June 7, 2025 03:17 5m 26s mkatychev:fix/tsq-classification
mkatychev:fix/tsq-classification
June 7, 2025 03:17 5m 26s
Tweaked tree-sitter query classification Run Tests #5476: Pull request #7431 opened by mkatychev
June 7, 2025 00:45 5m 28s mkatychev:fix/tsq-classification
mkatychev:fix/tsq-classification
June 7, 2025 00:45 5m 28s
Push on main CodeQL #283: by lildude
June 5, 2025 12:19 1m 30s main
main
June 5, 2025 12:19 1m 30s
.devcontainer/devcontainer.json Codespaces Prebuilds #99: by github-codespaces bot
June 5, 2025 12:19 28m 44s main
main
June 5, 2025 12:19 28m 44s
Release v9.2.0 (#7422) Run Tests #5469: Commit f970808 pushed by lildude
June 5, 2025 12:19 5m 31s main
main
June 5, 2025 12:19 5m 31s
Release v9.2.0 Run Tests #5468: Pull request #7422 synchronize by lildude
June 5, 2025 12:12 5m 45s release-v9.2.0
release-v9.2.0
June 5, 2025 12:12 5m 45s
PR #7422 CodeQL #282: by lildude
June 5, 2025 12:12 1m 26s refs/pull/7422/head
refs/pull/7422/head
June 5, 2025 12:12 1m 26s
.devcontainer/devcontainer.json Codespaces Prebuilds #98: by github-codespaces bot
June 5, 2025 08:51 31m 33s main
main
June 5, 2025 08:51 31m 33s
Push on main CodeQL #281: by github-merge-queue bot
June 5, 2025 08:51 1m 31s main
main
June 5, 2025 08:51 1m 31s
Update Leo color to latest brand colors. (#7425) Run Tests #5467: Commit 6b83091 pushed by github-merge-queue bot
June 5, 2025 08:51 5m 26s main
main
June 5, 2025 08:51 5m 26s
Run Tests Run Tests #5466: Merge group checks requested
June 5, 2025 08:48 5m 28s
June 5, 2025 08:48 5m 28s
Update Leo color to latest brand colors. Run Tests #5465: Pull request #7425 opened by d0cd
June 5, 2025 01:30 5m 28s ProvableHQ:feat/leo-support
ProvableHQ:feat/leo-support
June 5, 2025 01:30 5m 28s
Add strategy that was used to detect the file's language Run Tests #5462: Pull request #7405 synchronize by DecimalTurn
June 4, 2025 15:23 5m 28s DecimalTurn:strat
DecimalTurn:strat
June 4, 2025 15:23 5m 28s
Release v9.2.0 Run Tests #5459: Pull request #7422 synchronize by lildude
June 4, 2025 08:20 5m 30s release-v9.2.0
release-v9.2.0
June 4, 2025 08:20 5m 30s