Skip to content

Actions: pybind/pybind11

Actions

CI-SH-DEF

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
163 workflow run results
163 workflow run results

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 #677: Pull request #4850 synchronize by rwgk
November 1, 2023 15:20 43m 19s rwgk:unique_ptr_deleter_sh
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 #676: Pull request #4850 synchronize by rwgk
November 1, 2023 14:33 47m 6s rwgk:unique_ptr_deleter_sh
rwgk:unique_ptr_deleter_sh
November 1, 2023 14:33 47m 6s
[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
rwgk:unique_ptr_deleter_sh
November 1, 2023 07:49 42m 23s
[smart_holder] Bug fix: std::unique_ptr deleter needs to be copied. CI-SH-DEF #674: Pull request #4850 synchronize by rwgk
November 1, 2023 06:58 48m 0s rwgk:unique_ptr_deleter_sh
rwgk:unique_ptr_deleter_sh
November 1, 2023 06:58 48m 0s
Fix pre-commit mypy error: CI-SH-DEF #673: Commit e955753 pushed by rwgk
October 27, 2023 06:54 36m 52s smart_holder
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
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
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
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
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
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
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
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
rwgk:sh_merge_master
October 17, 2023 19:30 46m 6s