Skip to content

Actions: Wilfred/difftastic

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
141 workflow run results
141 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sort by path before outputting directory diff so that the order is al…
Continuous integration #2845: Commit a8d6253 pushed by Wilfred
November 20, 2023 10:24 15m 18s master
November 20, 2023 10:24 15m 18s
Sort by path before outputting directory diff so that the order is always the same
Continuous integration #2844: Pull request #593 synchronize by milandamen
November 19, 2023 14:53 10m 39s milandamen:sort-diff-dir
November 19, 2023 14:53 10m 39s
pages build and deployment
pages-build-deployment #870: by github-pages bot
November 19, 2023 13:18 54s gh-pages
November 19, 2023 13:18 54s
Update to latest line-numbers
Deploy Manual #1384: Commit 1ec868e pushed by Wilfred
November 19, 2023 13:11 6m 33s master
November 19, 2023 13:11 6m 33s
Update to latest line-numbers
Coverage #2243: Commit 1ec868e pushed by Wilfred
November 19, 2023 13:11 2m 39s master
November 19, 2023 13:11 2m 39s
Update to latest line-numbers
Continuous integration #2843: Commit 1ec868e pushed by Wilfred
November 19, 2023 13:11 10m 45s master
November 19, 2023 13:11 10m 45s
pages build and deployment
pages-build-deployment #869: by github-pages bot
November 19, 2023 13:06 1m 4s gh-pages
November 19, 2023 13:06 1m 4s
Remove unused content length calculations
Coverage #2242: Commit 8fd79c2 pushed by Wilfred
November 19, 2023 12:59 2m 39s master
November 19, 2023 12:59 2m 39s
Remove unused content length calculations
Deploy Manual #1383: Commit 8fd79c2 pushed by Wilfred
November 19, 2023 12:59 6m 31s master
November 19, 2023 12:59 6m 31s
Remove unused content length calculations
Continuous integration #2842: Commit 8fd79c2 pushed by Wilfred
November 19, 2023 12:59 11m 10s master
November 19, 2023 12:59 11m 10s
Update Chinese translation of manual
Continuous integration #2841: Pull request #594 opened by yusancky
November 19, 2023 03:33 9m 35s master
November 19, 2023 03:33 9m 35s
Update Chinese translation of manual
Coverage #2241: Pull request #594 opened by yusancky
November 19, 2023 03:33 2m 36s master
November 19, 2023 03:33 2m 36s
Sort by path before outputting directory diff so that the order is always the same
Continuous integration #2840: Pull request #593 synchronize by milandamen
November 18, 2023 22:45 11m 7s milandamen:sort-diff-dir
November 18, 2023 22:45 11m 7s
Sort by path before outputting directory diff so that the order is always the same
Continuous integration #2839: Pull request #593 opened by milandamen
November 18, 2023 19:43 10m 21s milandamen:sort-diff-dir
November 18, 2023 19:43 10m 21s
Styling tweaks
Coverage #2238: Commit c2f5355 pushed by Wilfred
November 12, 2023 07:13 2m 31s homepage
November 12, 2023 07:13 2m 31s
Styling tweaks
Continuous integration #2838: Commit c2f5355 pushed by Wilfred
November 12, 2023 07:13 9m 48s homepage
November 12, 2023 07:13 9m 48s
Improve screenshots and buttons
Continuous integration #2837: Commit e40a6af pushed by Wilfred
November 12, 2023 07:00 9m 23s homepage
November 12, 2023 07:00 9m 23s
Improve screenshots and buttons
Coverage #2237: Commit e40a6af pushed by Wilfred
November 12, 2023 07:00 3m 41s homepage
November 12, 2023 07:00 3m 41s
Button tweaks
Coverage #2236: Commit 69f39a0 pushed by Wilfred
November 12, 2023 05:15 2m 30s homepage
November 12, 2023 05:15 2m 30s
Button tweaks
Continuous integration #2836: Commit 69f39a0 pushed by Wilfred
November 12, 2023 05:15 11m 42s homepage
November 12, 2023 05:15 11m 42s
pages build and deployment
pages-build-deployment #868: by github-pages bot
November 12, 2023 05:04 57s gh-pages
November 12, 2023 05:04 57s
cargo fmt
Continuous integration #2835: Commit 2e415f6 pushed by Wilfred
November 12, 2023 04:57 11m 15s master
November 12, 2023 04:57 11m 15s