Skip to content

Actions: Aurel300/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
39 workflow runs
39 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement old and rel (#30) Test #53: Commit 858333e pushed by Aurel300
February 19, 2025 15:27 10m 18s rewrite-2023
rewrite-2023
February 19, 2025 15:27 10m 18s
Implement old and rel Test #52: Pull request #30 synchronize by Aurel300
February 19, 2025 15:08 6m 33s tillarnold:till_old_impl2
tillarnold:till_old_impl2
February 19, 2025 15:08 6m 33s
Implement old and rel Test #51: Pull request #30 synchronize by Aurel300
February 19, 2025 14:57 6m 17s tillarnold:till_old_impl2
tillarnold:till_old_impl2
February 19, 2025 14:57 6m 17s
Implement old and rel Test #50: Pull request #30 synchronize by Aurel300
February 19, 2025 14:48 6m 4s tillarnold:till_old_impl2
tillarnold:till_old_impl2
February 19, 2025 14:48 6m 4s
Implement old and rel Test #49: Pull request #30 synchronize by Aurel300
February 19, 2025 14:41 5m 7s tillarnold:till_old_impl2
tillarnold:till_old_impl2
February 19, 2025 14:41 5m 7s
Implement old and rel Test #48: Pull request #30 synchronize by Aurel300
February 19, 2025 14:35 2m 41s tillarnold:till_old_impl2
tillarnold:till_old_impl2
February 19, 2025 14:35 2m 41s
Implement old and rel Test #47: Pull request #30 synchronize by Aurel300
February 19, 2025 14:32 3m 0s tillarnold:till_old_impl2
tillarnold:till_old_impl2
February 19, 2025 14:32 3m 0s
Implement old and rel Test #46: Pull request #30 synchronize by Aurel300
February 19, 2025 14:28 3m 3s tillarnold:till_old_impl2
tillarnold:till_old_impl2
February 19, 2025 14:28 3m 3s
Implement old and rel Test #45: Pull request #30 synchronize by Aurel300
February 19, 2025 14:22 2m 38s tillarnold:till_old_impl2
tillarnold:till_old_impl2
February 19, 2025 14:22 2m 38s
Implement old and rel Test #44: Pull request #30 synchronize by Aurel300
February 19, 2025 12:59 6m 21s tillarnold:till_old_impl2
tillarnold:till_old_impl2
February 19, 2025 12:59 6m 21s
WIP: type encoder cleanup Test #43: Pull request #64 opened by Aurel300
January 23, 2025 14:01 6m 14s feature/ty-cleanup
feature/ty-cleanup
January 23, 2025 14:01 6m 14s
Update dependencies Update dependencies #30: Scheduled
January 1, 2025 07:07 1m 6s rewrite-2023
rewrite-2023
January 1, 2025 07:07 1m 6s
Update dependencies Update dependencies #29: Scheduled
December 15, 2024 07:07 1m 15s rewrite-2023
rewrite-2023
December 15, 2024 07:07 1m 15s
Update dependencies Update dependencies #28: Scheduled
December 1, 2024 07:07 1m 4s rewrite-2023
rewrite-2023
December 1, 2024 07:07 1m 4s
Use new PCS Test #42: Pull request #62 synchronize by Aurel300
November 22, 2024 12:27 2m 20s xldenis:new-pcs-15
xldenis:new-pcs-15
November 22, 2024 12:27 2m 20s
Update dependencies Update dependencies #27: Scheduled
November 15, 2024 07:07 1m 12s rewrite-2023
rewrite-2023
November 15, 2024 07:07 1m 12s
Update dependencies Update dependencies #26: Scheduled
November 1, 2024 07:07 1m 24s rewrite-2023
rewrite-2023
November 1, 2024 07:07 1m 24s
Use new PCS Test #41: Pull request #62 synchronize by Aurel300
October 31, 2024 21:34 1m 50s xldenis:new-pcs-15
xldenis:new-pcs-15
October 31, 2024 21:34 1m 50s
ignore reformat in blame Test #40: Commit c750e96 pushed by Aurel300
October 31, 2024 21:21 10m 8s rewrite-2023
rewrite-2023
October 31, 2024 21:21 10m 8s
Re-enable CI, switch to ui_test (#63) Test #39: Commit 9f76604 pushed by Aurel300
October 31, 2024 11:57 9m 57s rewrite-2023
rewrite-2023
October 31, 2024 11:57 9m 57s
Re-enable CI, switch to ui_test Test #38: Pull request #63 synchronize by Aurel300
October 31, 2024 11:38 4m 42s feature/ci
feature/ci
October 31, 2024 11:38 4m 42s
Re-enable CI, switch to ui_test Test #37: Pull request #63 synchronize by Aurel300
October 31, 2024 11:04 11m 25s feature/ci
feature/ci
October 31, 2024 11:04 11m 25s
Re-enable CI, switch to ui_test Test #36: Pull request #63 synchronize by Aurel300
October 31, 2024 10:59 4m 47s feature/ci
feature/ci
October 31, 2024 10:59 4m 47s
Re-enable CI, switch to ui_test Test #35: Pull request #63 synchronize by Aurel300
October 31, 2024 10:58 2m 1s feature/ci
feature/ci
October 31, 2024 10:58 2m 1s
Re-enable CI, switch to ui_test Test #34: Pull request #63 synchronize by Aurel300
October 28, 2024 22:31 10m 6s feature/ci
feature/ci
October 28, 2024 22:31 10m 6s