Skip to content

Actions: pygments/pygments

All workflows

Actions

Loading...

Showing runs from all workflows
988 workflow runs
988 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

add support for lexing attributes in Chapel (#2376)
Pygments #3048: Commit 2a2537d pushed by jeanas
March 28, 2023 23:11 5m 7s master
March 28, 2023 23:11 5m 7s
Lexer for the WebGPU Shading Language
Pygments #3047: Pull request #2386 synchronize by dneto0
March 28, 2023 15:13 6m 57s dneto0:wgsl-lexer
March 28, 2023 15:13 6m 57s
Lexer for the WebGPU Shading Language
Pygments #3046: Pull request #2386 synchronize by dneto0
March 27, 2023 21:09 3m 43s dneto0:wgsl-lexer
March 27, 2023 21:09 3m 43s
Lexer for the WebGPU Shading Language
Pygments #3045: Pull request #2386 synchronize by dneto0
March 27, 2023 14:40 5m 52s dneto0:wgsl-lexer
March 27, 2023 14:40 5m 52s
Update CHANGES.
Docs #1031: Commit d2cf5e9 pushed by Anteru
March 25, 2023 13:13 5m 21s master
March 25, 2023 13:13 5m 21s
Update CHANGES.
Pygments #3041: Commit d2cf5e9 pushed by Anteru
March 25, 2023 13:13 4m 15s master
March 25, 2023 13:13 4m 15s
Merge pull request #2383 from pygments/2382-fix
Docs #1030: Commit db66015 pushed by Anteru
March 25, 2023 13:12 4m 24s master
March 25, 2023 13:12 4m 24s
Merge pull request #2383 from pygments/2382-fix
Pygments #3040: Commit db66015 pushed by Anteru
March 25, 2023 13:12 3m 11s master
March 25, 2023 13:12 3m 11s
Update CHANGES.
Pygments #3039: Commit c4ea8a1 pushed by Anteru
March 25, 2023 13:11 4m 39s master
March 25, 2023 13:11 4m 39s
Update CHANGES.
Docs #1029: Commit c4ea8a1 pushed by Anteru
March 25, 2023 13:11 3m 54s master
March 25, 2023 13:11 3m 54s
css: fix lexing numbers inside function calls
Pygments #3037: Pull request #2383 opened by birkenfeld
March 19, 2023 06:49 4m 36s 2382-fix
March 19, 2023 06:49 4m 36s
css: fix lexing numbers inside function calls
Pygments #3036: Commit 3080991 pushed by birkenfeld
March 19, 2023 06:49 5m 24s 2382-fix
March 19, 2023 06:49 5m 24s
ProTip! You can narrow down the results and go further in time using created:<2023-03-19 or the other filters available.