Skip to content

Actions: rakitzis/rc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Valgrind experiment ci #12: Commit d12cf14 pushed by rakitzis
August 25, 2024 23:50 20s valgrind
valgrind
August 25, 2024 23:50 20s
Merge pull request #108 from jpco/master ci #11: Commit 27ed71e pushed by rakitzis
August 25, 2024 02:27 21s master
master
August 25, 2024 02:27 21s
Install the history(1) man page if history was built ci #10: Pull request #108 opened by jpco
August 25, 2024 01:57 20s jpco:master
jpco:master
August 25, 2024 01:57 20s
Merge pull request #107 from rakitzis/fix-history-slash ci #9: Commit 4540368 pushed by rakitzis
August 24, 2024 22:08 20s master
master
August 24, 2024 22:08 20s
Fix treatment of slashes (path separator) by history command ci #8: Pull request #107 synchronize by rakitzis
August 24, 2024 22:07 20s fix-history-slash
fix-history-slash
August 24, 2024 22:07 20s
Fix treatment of slashes (path separator) by history command ci #7: Commit 48fbbc7 pushed by rakitzis
August 24, 2024 22:07 21s fix-history-slash
fix-history-slash
August 24, 2024 22:07 21s
Fix treatment of slashes (path separator) by history command ci #6: Pull request #107 opened by rakitzis
August 24, 2024 22:04 20s fix-history-slash
fix-history-slash
August 24, 2024 22:04 20s
Fix treatment of slashes (path separator) by history command ci #5: Commit 5b41300 pushed by rakitzis
August 24, 2024 22:04 21s fix-history-slash
fix-history-slash
August 24, 2024 22:04 21s
This change fixes the history pruning treatment of a slash ci #4: Commit 6f4e222 pushed by rakitzis
August 24, 2024 22:03 22s fix-history-slash
fix-history-slash
August 24, 2024 22:03 22s
Merge pull request #103 from avindra/master ci #3: Commit 43a03c2 pushed by rakitzis
August 24, 2024 22:02 21s master
master
August 24, 2024 22:02 21s
This change fixes the history pruning treatment of a slash ci #2: Commit f1d1aa3 pushed by rakitzis
August 24, 2024 22:00 21s master
master
August 24, 2024 22:00 21s
Merge pull request #103 from avindra/master ci #1: Commit 43a03c2 pushed by rakitzis
July 22, 2024 04:41 21s master
master
July 22, 2024 04:41 21s