Skip to content

Actions: pop-os/cosmic-text

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
415 workflow runs
415 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor
Rust #482: Pull request #206 synchronize by jackpot51
December 15, 2023 22:03 3m 29s refactor
December 15, 2023 22:03 3m 29s
Refactor
Rust #481: Pull request #206 synchronize by jackpot51
December 15, 2023 20:58 2m 40s refactor
December 15, 2023 20:58 2m 40s
Refactor
Rust #480: Pull request #206 synchronize by jackpot51
December 15, 2023 20:58 2m 54s refactor
December 15, 2023 20:58 2m 54s
Refactor
Rust #479: Pull request #206 opened by jackpot51
December 15, 2023 20:49 2m 51s refactor
December 15, 2023 20:49 2m 51s
pages build and deployment
pages-build-deployment #129: by github-pages bot
December 12, 2023 17:30 55s gh-pages
December 12, 2023 17:30 55s
Add select by word and double/triple click actions
Pages #178: Commit 94e6cde pushed by jackpot51
December 12, 2023 17:29 1m 11s main
December 12, 2023 17:29 1m 11s
Add select by word and double/triple click actions
Rust #478: Commit 94e6cde pushed by jackpot51
December 12, 2023 17:29 2m 44s main
December 12, 2023 17:29 2m 44s
pages build and deployment
pages-build-deployment #128: by github-pages bot
December 12, 2023 16:53 46s gh-pages
December 12, 2023 16:53 46s
ViEditor::finish_change will store change to history
Rust #477: Commit 6566350 pushed by jackpot51
December 12, 2023 16:52 2m 42s main
December 12, 2023 16:52 2m 42s
ViEditor::finish_change will store change to history
Pages #177: Commit 6566350 pushed by jackpot51
December 12, 2023 16:52 1m 5s main
December 12, 2023 16:52 1m 5s
pages build and deployment
pages-build-deployment #127: by github-pages bot
December 8, 2023 19:05 45s gh-pages
December 8, 2023 19:05 45s
ViEditor: cleanup logging
Pages #176: Commit 3187e91 pushed by jackpot51
December 8, 2023 19:04 1m 3s main
December 8, 2023 19:04 1m 3s
ViEditor: cleanup logging
Rust #474: Commit 3187e91 pushed by jackpot51
December 8, 2023 19:04 2m 40s main
December 8, 2023 19:04 2m 40s
pages build and deployment
pages-build-deployment #126: by github-pages bot
December 5, 2023 17:06 51s gh-pages
December 5, 2023 17:06 51s
ViEditor: update modit and improve put implementation
Rust #473: Commit b7bdd62 pushed by jackpot51
December 5, 2023 17:05 2m 54s main
December 5, 2023 17:05 2m 54s
ViEditor: update modit and improve put implementation
Pages #175: Commit b7bdd62 pushed by jackpot51
December 5, 2023 17:05 58s main
December 5, 2023 17:05 58s
Editor: make delete_range and insert_at methods public
Pages #174: Commit de6f2c7 pushed by jackpot51
December 5, 2023 17:04 1m 9s main
December 5, 2023 17:04 1m 9s
Editor: make delete_range and insert_at methods public
Rust #472: Commit de6f2c7 pushed by jackpot51
December 5, 2023 17:04 47s main
December 5, 2023 17:04 47s
pages build and deployment
pages-build-deployment #125: by github-pages bot
November 30, 2023 21:52 38s gh-pages
November 30, 2023 21:52 38s
Buffer: fix max scroll going one line beyond end
Pages #173: Commit afc5b52 pushed by jackpot51
November 30, 2023 21:51 52s main
November 30, 2023 21:51 52s
Buffer: fix max scroll going one line beyond end
Rust #471: Commit afc5b52 pushed by jackpot51
November 30, 2023 21:51 2m 54s main
November 30, 2023 21:51 2m 54s
pages build and deployment
pages-build-deployment #124: by github-pages bot
November 30, 2023 21:43 43s gh-pages
November 30, 2023 21:43 43s
Editor: set selection to none when deleted
Pages #172: Commit 1cf36f8 pushed by jackpot51
November 30, 2023 21:42 1m 0s main
November 30, 2023 21:42 1m 0s
ProTip! You can narrow down the results and go further in time using created:<2023-11-30 or the other filters available.