Skip to content

Actions: pybind/pybind11

CI-SH-DEF

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
169 workflow runs
169 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[smart_holder] Bug fix: std::unique_ptr deleter needs to be copied.
CI-SH-DEF #681: Pull request #4850 synchronize by rwgk
November 1, 2023 23:59 36m 34s rwgk:unique_ptr_deleter_sh
November 1, 2023 23:59 36m 34s
[smart_holder] Bug fix: std::unique_ptr deleter needs to be copied.
CI-SH-DEF #679: Pull request #4850 synchronize by rwgk
November 1, 2023 22:36 37m 12s rwgk:unique_ptr_deleter_sh
November 1, 2023 22:36 37m 12s
[smart_holder] Bug fix: std::unique_ptr deleter needs to be copied.
CI-SH-DEF #678: Pull request #4850 synchronize by rwgk
November 1, 2023 21:40 41m 59s rwgk:unique_ptr_deleter_sh
November 1, 2023 21:40 41m 59s
[smart_holder] Bug fix: std::unique_ptr deleter needs to be copied.
CI-SH-DEF #677: Pull request #4850 synchronize by rwgk
November 1, 2023 15:20 43m 19s rwgk:unique_ptr_deleter_sh
November 1, 2023 15:20 43m 19s
[smart_holder] Bug fix: std::unique_ptr deleter needs to be copied.
CI-SH-DEF #675: Pull request #4850 synchronize by rwgk
November 1, 2023 07:49 42m 23s rwgk:unique_ptr_deleter_sh
November 1, 2023 07:49 42m 23s
Fix pre-commit mypy error:
CI-SH-DEF #673: Commit e955753 pushed by rwgk
October 27, 2023 06:54 36m 52s smart_holder
October 27, 2023 06:54 36m 52s
[smart_holder] git merge master
CI-SH-DEF #672: Pull request #4907 synchronize by rwgk
October 27, 2023 05:50 41m 47s rwgk:sh_merge_master
October 27, 2023 05:50 41m 47s
[smart_holder] git merge master
CI-SH-DEF #671: Pull request #4907 opened by rwgk
October 27, 2023 05:42 8m 34s rwgk:sh_merge_master
October 27, 2023 05:42 8m 34s
Merge branch 'master' into sh_merge_master
CI-SH-DEF #670: Commit 28ec485 pushed by rwgk
October 24, 2023 00:18 43m 40s smart_holder
October 24, 2023 00:18 43m 40s
[smart_holder] git merge master
CI-SH-DEF #669: Pull request #4900 opened by rwgk
October 23, 2023 23:29 37m 25s rwgk:sh_merge_master
October 23, 2023 23:29 37m 25s
Tracking ci.yml changes from master.
CI-SH-DEF #668: Commit 4c5b88a pushed by rwgk
October 20, 2023 17:46 41m 26s smart_holder
October 20, 2023 17:46 41m 26s
[smart_holder] git merge master
CI-SH-DEF #667: Pull request #4891 opened by rwgk
October 20, 2023 07:02 34m 5s rwgk:sh_merge_master
October 20, 2023 07:02 34m 5s
Merge branch 'master' into sh_merge_master
CI-SH-DEF #666: Commit ae02940 pushed by rwgk
October 17, 2023 20:18 41m 12s smart_holder
October 17, 2023 20:18 41m 12s
[smart_holder] git merge master
CI-SH-DEF #665: Pull request #4885 opened by rwgk
October 17, 2023 19:30 46m 6s rwgk:sh_merge_master
October 17, 2023 19:30 46m 6s
Tracking ci.yml changes from master.
CI-SH-DEF #664: Commit 9015869 pushed by rwgk
October 12, 2023 04:57 35m 8s smart_holder
October 12, 2023 04:57 35m 8s
[smart_holder] git merge master
CI-SH-DEF #663: Pull request #4881 opened by rwgk
October 12, 2023 04:16 36m 47s rwgk:sh_merge_master
October 12, 2023 04:16 36m 47s