Skip to content

Workflows

Select workflow

Select workflow

All workflows

Showing runs from all workflows
291 workflow runs
291 workflow runs
Event

Filter by event

Status

Filter by status

Branch

Filter by branch

Actor

Filter by actor

Fix some minor checkdoc warnings. CI #321: Commit 3c07cca pushed by bbatsov
Mar 13, 2022 52s master
Mar 13, 2022 52s
Fix wide docstrings (#1760) CI #319: Commit 6010308 pushed by bbatsov
Mar 13, 2022 51s master
Mar 13, 2022 51s
Add Pijul support (#1757) CI #316: Commit 1fbce79 pushed by bbatsov
Mar 12, 2022 50s master
Mar 12, 2022 50s
Adding some Pijul support CI #315: Pull request #1757 synchronize by zilti
Mar 1, 2022 1m 29s zilti:patch-1
Add vterm to the menu CI #311: Commit 2c948f3 pushed by bbatsov
Feb 27, 2022 47s master
Feb 27, 2022 47s
Add vterm to the menu CI #310: Pull request #1756 opened by dpassen
Feb 27, 2022 1m 8s vterm-in-menu
Feb 8, 2022 1m 18s
[Fix #1750] Fix src-dir and test-dir for Maven projects CI #307: Commit 90da545 pushed by bbatsov
Feb 8, 2022 1m 32s master
Feb 8, 2022 1m 32s
Move defvars out of eval-when-compile CI #301: Commit df3d73e pushed by bbatsov
Feb 3, 2022 55s master
Feb 3, 2022 55s
pages build and deployment pages-build-deployment #1: by github-pages bot
Jan 6, 2022 53s
Jan 6, 2022 53s
Merge pull request #1735 from eggert/timestamp CI #291: Commit cd8bcbc pushed by bbatsov
Dec 16, 2021 1m 1s master
Dec 16, 2021 1m 1s