Skip to content

Actions: elves/elvish

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,365 workflow runs
1,365 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check Cirrus CI
Check Cirrus CI #1779: completed by ghost
August 7, 2023 05:56 2s
August 7, 2023 05:56 2s
support monochrome mode
CI #1348: Pull request #1714 synchronize by tw4452852
August 7, 2023 05:56 4m 42s tw4452852:monochrome
August 7, 2023 05:56 4m 42s
Check Cirrus CI
Check Cirrus CI #1778: completed by xiaq
August 6, 2023 16:18 3s
August 6, 2023 16:18 3s
Check Cirrus CI
Check Cirrus CI #1777: completed by xiaq
August 6, 2023 16:15 1s
August 6, 2023 16:15 1s
Remove a paragraph on unstable symbols being at the end, since it no …
Check website #443: Commit db0f599 pushed by xiaq
August 6, 2023 16:09 5m 41s master
August 6, 2023 16:09 5m 41s
August 6, 2023 16:09 7m 57s
Move a lot of symbols from path: to os:.
Check website #442: Commit e847e67 pushed by xiaq
August 6, 2023 16:07 8m 21s master
August 6, 2023 16:07 8m 21s
Move a lot of symbols from path: to os:.
CI #1346: Commit e847e67 pushed by xiaq
August 6, 2023 16:07 6m 33s master
August 6, 2023 16:07 6m 33s
Check Cirrus CI
Check Cirrus CI #1776: completed by ghost
August 5, 2023 17:31 3s
August 5, 2023 17:31 3s
Check Cirrus CI
Check Cirrus CI #1775: completed by ghost
August 5, 2023 17:27 2s
August 5, 2023 17:27 2s
Implement os:stat
CI #1345: Pull request #1715 opened by krader1961
August 5, 2023 17:23 7m 20s krader1961:os-stat
August 5, 2023 17:23 7m 20s
Check Cirrus CI
Check Cirrus CI #1774: completed by ghost
August 3, 2023 08:02 2s
August 3, 2023 08:02 2s
Check Cirrus CI
Check Cirrus CI #1773: completed by ghost
August 3, 2023 08:01 3s
August 3, 2023 08:01 3s
Check Cirrus CI
Check Cirrus CI #1772: completed by ghost
August 3, 2023 07:57 2s
August 3, 2023 07:57 2s
support monochrome mode
CI #1344: Pull request #1714 opened by tw4452852
August 3, 2023 07:54 6m 25s tw4452852:monochrome
August 3, 2023 07:54 6m 25s
ProTip! You can narrow down the results and go further in time using created:<2023-08-03 or the other filters available.