Skip to content

Actions: Aurel300/prusti-dev

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
Fix release build Test #31: Pull request #49 opened by zgrannan
May 13, 2024 19:33 4m 5s zgrannan:zgrannan/fix-release-build
zgrannan:zgrannan/fix-release-build
May 13, 2024 19:33 4m 5s