Skip to content

Actions: Aurel300/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Fix release build Publish on Crates.io #2: Pull request #49 opened by zgrannan
May 13, 2024 19:33 40s zgrannan:zgrannan/fix-release-build
zgrannan:zgrannan/fix-release-build
May 13, 2024 19:33 40s
Fix release build Build GitHub pages #2: Pull request #49 opened by zgrannan
May 13, 2024 19:33 20s zgrannan:zgrannan/fix-release-build
zgrannan:zgrannan/fix-release-build
May 13, 2024 19:33 20s
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
Update dependencies Update dependencies #16: Scheduled
September 15, 2023 07:12 5m 1s master
master
September 15, 2023 07:12 5m 1s
Update dependencies Update dependencies #15: Scheduled
September 1, 2023 07:12 6m 29s master
master
September 1, 2023 07:12 6m 29s
Update dependencies Update dependencies #14: Scheduled
August 15, 2023 07:11 3m 13s master
master
August 15, 2023 07:11 3m 13s
Update dependencies Update dependencies #13: Scheduled
August 1, 2023 07:12 2m 29s master
master
August 1, 2023 07:12 2m 29s
Update dependencies Update dependencies #12: Scheduled
July 15, 2023 07:13 4m 54s master
master
July 15, 2023 07:13 4m 54s