Skip to content

Actions: TheVeryDarkness/z3.rs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Revert "Disable a feature of bindgen to see if it works." Rust #32: Commit 8f4e0b1 pushed by TheVeryDarkness
April 26, 2024 03:04 25m 58s master
master
April 26, 2024 03:04 25m 58s
Disable a feature of bindgen to see if it works. Rust #31: Commit bb6c576 pushed by TheVeryDarkness
April 25, 2024 15:46 11h 30m 40s master
master
April 25, 2024 15:46 11h 30m 40s
Traverse headers list; remove an unused step. Rust #30: Commit c0dbcbf pushed by TheVeryDarkness
October 29, 2023 06:45 27m 14s master
master
October 29, 2023 06:45 27m 14s
Use another action that enables overwrite Rust #29: Commit f5c9abc pushed by TheVeryDarkness
October 29, 2023 06:29 16m 36s master
master
October 29, 2023 06:29 16m 36s
Correcting output of Python script Rust #28: Commit df436df pushed by TheVeryDarkness
October 29, 2023 06:18 11m 39s master
master
October 29, 2023 06:18 11m 39s
Correct output case. Rust #27: Commit 4dcfb13 pushed by TheVeryDarkness
October 29, 2023 03:30 3m 34s master
master
October 29, 2023 03:30 3m 34s
Skip compression if archive already exists Rust #26: Commit d1209bd pushed by TheVeryDarkness
October 29, 2023 02:31 39m 25s master
master
October 29, 2023 02:31 39m 25s
Fix an error in CI Rust #25: Commit afa2a92 pushed by TheVeryDarkness
October 28, 2023 19:15 2m 57s master
master
October 28, 2023 19:15 2m 57s
Fix escape in python script; use python 3.10 Rust #24: Commit 4a99f76 pushed by TheVeryDarkness
October 28, 2023 19:04 36m 51s master
master
October 28, 2023 19:04 36m 51s
Fix an error in CI Rust #23: Commit b0d0370 pushed by TheVeryDarkness
October 28, 2023 18:13 34m 31s master
master
October 28, 2023 18:13 34m 31s
Fix an error in CI. Rust #22: Commit 40090f7 pushed by TheVeryDarkness
October 28, 2023 16:14 34m 54s master
master
October 28, 2023 16:14 34m 54s
Fix an error in CI. Rust #21: Commit 475f4d6 pushed by TheVeryDarkness
October 28, 2023 15:46 28m 47s master
master
October 28, 2023 15:46 28m 47s
Use python shell to collect and compress. Rust #20: Commit 8a362ae pushed by TheVeryDarkness
October 28, 2023 15:38 9m 40s master
master
October 28, 2023 15:38 9m 40s
CI: Hard code copied files. Rust #19: Commit 63987ba pushed by TheVeryDarkness
October 28, 2023 07:38 6h 0m 16s master
master
October 28, 2023 07:38 6h 0m 16s
Fixing an error in CI on Windows Rust #18: Commit bd832bb pushed by TheVeryDarkness
October 27, 2023 16:23 6h 0m 17s master
master
October 27, 2023 16:23 6h 0m 17s
Avoid too complex logic in CI Rust #17: Commit fe7828f pushed by TheVeryDarkness
October 27, 2023 16:00 29m 13s master
master
October 27, 2023 16:00 29m 13s
Fix an error in CI. Rust #16: Commit ddb8af8 pushed by TheVeryDarkness
October 27, 2023 15:30 6h 0m 20s master
master
October 27, 2023 15:30 6h 0m 20s
Merge branch 'upload-prebuilt-static-z3' Rust #15: Commit 5f35d49 pushed by TheVeryDarkness
October 27, 2023 15:15 42m 35s master
master
October 27, 2023 15:15 42m 35s
Fix an error in CI Upload prebuilt Z3 #13: Commit 888d58e pushed by TheVeryDarkness
October 27, 2023 08:21 39m 19s upload-prebuilt-static-z3
upload-prebuilt-static-z3
October 27, 2023 08:21 39m 19s
Automatically triger the workflow. Upload prebuilt Z3 #12: Commit 6349e6c pushed by TheVeryDarkness
October 27, 2023 06:35 40m 14s upload-prebuilt-static-z3
upload-prebuilt-static-z3
October 27, 2023 06:35 40m 14s
Fix an error in CI Upload prebuilt Z3 #11: Commit 049ad95 pushed by TheVeryDarkness
October 26, 2023 17:36 40m 22s upload-prebuilt-static-z3
upload-prebuilt-static-z3
October 26, 2023 17:36 40m 22s
Disable cache Upload prebuilt Z3 #10: Commit ec05154 pushed by TheVeryDarkness
October 26, 2023 17:32 17s upload-prebuilt-static-z3
upload-prebuilt-static-z3
October 26, 2023 17:32 17s
Fix an error in CI about release name Upload prebuilt Z3 #9: Commit d5a912f pushed by TheVeryDarkness
October 26, 2023 16:26 40m 7s upload-prebuilt-static-z3
upload-prebuilt-static-z3
October 26, 2023 16:26 40m 7s
Use a script to generate CI. Upload prebuilt Z3 #8: Commit e7ab918 pushed by TheVeryDarkness
October 26, 2023 16:23 16s upload-prebuilt-static-z3
upload-prebuilt-static-z3
October 26, 2023 16:23 16s
Fix some errors in CI Upload prebuilt Z3 #7: Commit 25c624b pushed by TheVeryDarkness
October 26, 2023 13:44 38m 49s upload-prebuilt-static-z3
upload-prebuilt-static-z3
October 26, 2023 13:44 38m 49s