Skip to content

Actions: Aurel300/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Re-enable CI, switch to ui_test Test #33: Pull request #63 synchronize by Aurel300
October 28, 2024 22:14 6m 12s feature/ci
feature/ci
October 28, 2024 22:14 6m 12s
Update dependencies Update dependencies #25: Scheduled
October 15, 2024 07:07 1m 10s rewrite-2023
rewrite-2023
October 15, 2024 07:07 1m 10s
Re-enable CI, switch to ui_test Test #32: Pull request #63 opened by Aurel300
October 14, 2024 15:10 6m 16s feature/ci
feature/ci
October 14, 2024 15:10 6m 16s
Update dependencies Update dependencies #24: Scheduled
October 1, 2024 07:07 1m 10s rewrite-2023
rewrite-2023
October 1, 2024 07:07 1m 10s
Update dependencies Update dependencies #23: Scheduled
September 15, 2024 07:04 1m 17s rewrite-2023
rewrite-2023
September 15, 2024 07:04 1m 17s
Update dependencies Update dependencies #22: Scheduled
September 1, 2024 07:04 1m 4s rewrite-2023
rewrite-2023
September 1, 2024 07:04 1m 4s
Update dependencies Update dependencies #21: Scheduled
August 15, 2024 07:06 1m 17s rewrite-2023
rewrite-2023
August 15, 2024 07:06 1m 17s
Update dependencies Update dependencies #20: Scheduled
August 1, 2024 07:06 1m 2s rewrite-2023
rewrite-2023
August 1, 2024 07:06 1m 2s
Update dependencies Update dependencies #19: Scheduled
July 15, 2024 07:06 1m 20s rewrite-2023
rewrite-2023
July 15, 2024 07:06 1m 20s
Update dependencies Update dependencies #18: Scheduled
July 1, 2024 07:07 1m 16s rewrite-2023
rewrite-2023
July 1, 2024 07:07 1m 16s
Update dependencies Update dependencies #17: Scheduled
June 15, 2024 07:02 1m 0s rewrite-2023
rewrite-2023
June 15, 2024 07:02 1m 0s