Skip to content

Actions: uwiger/edown

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
11 workflow runs
11 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Merge pull request #33 from uwiger/uw-add-hex-doc-option
CI #12: Commit 14404bf pushed by uwiger
October 7, 2023 17:33 38s 0.9.1
October 7, 2023 17:33 38s
Merge pull request #33 from uwiger/uw-add-hex-doc-option
CI #11: Commit 14404bf pushed by uwiger
October 7, 2023 17:30 39s master
October 7, 2023 17:30 39s
Merge pull request #32 from uwiger/uw-add_ex_doc
CI #9: Commit ecc17d2 pushed by uwiger
October 7, 2023 17:20 36s master
October 7, 2023 17:20 36s
October 7, 2023 17:09 33s
Restore overview.edoc
CI #7: Commit 04bcb6c pushed by uwiger
October 7, 2023 16:48 39s uw-add_ex_doc
October 7, 2023 16:48 39s
Add ex_doc, address edoc warnings
CI #6: Commit 70226bc pushed by uwiger
October 7, 2023 16:43 43s uw-add_ex_doc
October 7, 2023 16:43 43s
Merge pull request #31 from uwiger/uw-branch-option
CI #5: Commit cb1386e pushed by uwiger
October 7, 2023 15:59 40s 0.9.0
October 7, 2023 15:59 40s
Merge pull request #31 from uwiger/uw-branch-option
CI #4: Commit cb1386e pushed by uwiger
October 7, 2023 15:57 34s master
October 7, 2023 15:57 34s
Add 'branch' option
CI #3: Commit 3e68bb2 pushed by uwiger
October 7, 2023 15:53 42s uw-branch-option
October 7, 2023 15:53 42s
Merge pull request #29 from vkatsuba/ci
CI #2: Commit 36b838a pushed by uwiger
October 7, 2023 15:52 33s uw-branch-option
October 7, 2023 15:52 33s