Skip to content

Actions: kaj/ructe

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
33 workflow runs
33 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Update itertools to 0.12.0. CI #191: Commit f60d249 pushed by kaj
November 15, 2023 07:52 3m 53s master
master
November 15, 2023 07:52 3m 53s
Release 0.17.0 -- 2023-07-22 CI #190: Commit b4a42d1 pushed by kaj
July 22, 2023 13:27 2m 25s v0.17.0
v0.17.0
July 22, 2023 13:27 2m 25s
Release 0.17.0 -- 2023-07-22 CI #189: Commit b4a42d1 pushed by kaj
July 22, 2023 13:26 2m 8s master
master
July 22, 2023 13:26 2m 8s
WIP: Provide join_html and join_to_html. CI #188: Pull request #88 synchronize by kaj
July 18, 2023 21:14 2m 0s join-html
join-html
July 18, 2023 21:14 2m 0s
Add failing example. CI #187: Commit 1e8ff0d pushed by kaj
July 18, 2023 21:14 1m 29s join-html
join-html
July 18, 2023 21:14 1m 29s
Merge pull request #132 from kaj/number_files CI #186: Commit bbb98c6 pushed by kaj
July 18, 2023 18:49 2m 16s master
master
July 18, 2023 18:49 2m 16s
Handle bad file names. CI #185: Pull request #132 synchronize by kaj
July 18, 2023 18:30 3m 32s number_files
number_files
July 18, 2023 18:30 3m 32s
Handle bad file names. CI #184: Commit d8903e6 pushed by kaj
July 18, 2023 18:30 2m 14s number_files
number_files
July 18, 2023 18:30 2m 14s
Handle bad file names. CI #183: Pull request #132 opened by kaj
July 18, 2023 18:28 2m 10s number_files
number_files
July 18, 2023 18:28 2m 10s
Handle bad file names. CI #182: Commit b27774a pushed by kaj
July 18, 2023 18:26 2m 19s number_files
number_files
July 18, 2023 18:26 2m 19s
Merge pull request #131 from wezm/patch-1 CI #181: Commit 93c9bb1 pushed by kaj
July 18, 2023 09:15 2m 11s master
master
July 18, 2023 09:15 2m 11s
Fix my username in Changelog CI #180: Pull request #131 opened by wezm
July 16, 2023 23:16 2m 15s patch-1
patch-1
July 16, 2023 23:16 2m 15s
Improve documentation. CI #179: Commit bb0c9d8 pushed by kaj
July 16, 2023 21:00 2m 7s master
master
July 16, 2023 21:00 2m 7s
Fix some clippy lints in warp example. CI #178: Commit ce0a908 pushed by kaj
July 16, 2023 13:14 2m 13s master
master
July 16, 2023 13:14 2m 13s
Changelog for #127. CI #177: Commit ace0eb3 pushed by kaj
July 16, 2023 10:40 1m 49s master
master
July 16, 2023 10:40 1m 49s
Merge pull request #127 from vbrandl/fix/clippy-pedantic-warnings CI #176: Commit c36dd93 pushed by kaj
July 16, 2023 10:37 2m 13s master
master
July 16, 2023 10:37 2m 13s
Changelog for #129, #130. CI #175: Commit 93ce946 pushed by kaj
July 16, 2023 10:15 1m 44s master
master
July 16, 2023 10:15 1m 44s
Merge pull request #130 from wezm/parse-const CI #174: Commit 508f26e pushed by kaj
July 16, 2023 10:14 2m 15s master
master
July 16, 2023 10:14 2m 15s
Fix handling of multi-word constants CI #173: Pull request #130 opened by wezm
July 16, 2023 06:23 2m 7s parse-const
parse-const
July 16, 2023 06:23 2m 7s
WIP: Provide join_html and join_to_html. CI #172: Pull request #88 synchronize by kaj
July 15, 2023 14:25 1m 42s join-html
join-html
July 15, 2023 14:25 1m 42s
Add failing example. CI #171: Commit c329d2f pushed by kaj
July 15, 2023 14:25 1m 2s join-html
join-html
July 15, 2023 14:25 1m 2s
Fix or suppress pedantic clippy warnings CI #170: Pull request #127 synchronize by kaj
July 15, 2023 14:11 1m 56s vbrandl:fix/clippy-pedantic-warnings
vbrandl:fix/clippy-pedantic-warnings
July 15, 2023 14:11 1m 56s
Fix or suppress pedantic clippy warnings CI #169: Pull request #127 synchronize by kaj
July 15, 2023 14:05 2m 21s vbrandl:fix/clippy-pedantic-warnings
vbrandl:fix/clippy-pedantic-warnings
July 15, 2023 14:05 2m 21s
Changelog for #124, thanks @kornelski CI #168: Commit 8c279d5 pushed by kaj
July 15, 2023 13:56 1m 51s master
master
July 15, 2023 13:56 1m 51s
Merge pull request #125 from kornelski/dynWrite CI #167: Commit 290ad9e pushed by kaj
July 15, 2023 13:54 2m 16s master
master
July 15, 2023 13:54 2m 16s