Skip to content

Actions: microsoft/verismo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
140 workflow runs
140 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bitflags Verify #66: Pull request #26 synchronize by ziqiaozhou
3m 24s bitflags
bitflags
3m 24s
PR #26 CodeQL #194: by ziqiaozhou
52s refs/pull/26/head
refs/pull/26/head
52s
Bitflags Verify #65: Pull request #26 synchronize by ziqiaozhou
4m 4s bitflags
bitflags
4m 4s
PR #26 CodeQL #193: by ziqiaozhou
1m 1s refs/pull/26/head
refs/pull/26/head
1m 1s
Bitflags Verify #64: Pull request #26 synchronize by ziqiaozhou
35s bitflags
bitflags
35s
PR #26 CodeQL #192: by ziqiaozhou
55s refs/pull/26/head
refs/pull/26/head
55s
Scheduled CodeQL #191: by github-advanced-security AI
1m 8s main
main
1m 8s
Bitflags Verify #63: Pull request #26 opened by ziqiaozhou
4m 9s bitflags
bitflags
4m 9s
PR #26 CodeQL #190: by ziqiaozhou
1m 8s refs/pull/26/head
refs/pull/26/head
1m 8s
remove unused file Verify #62: Commit 28cc03e pushed by ziqiaozhou
5m 20s main
main
5m 20s
Push on main CodeQL #189: by ziqiaozhou
2m 3s main
main
2m 3s
Update readme (#25) Verify #61: Commit 984995e pushed by ziqiaozhou
4m 31s main
main
4m 31s
Push on main CodeQL #188: by ziqiaozhou
1m 21s main
main
1m 21s
Update readme Verify #60: Pull request #25 opened by ziqiaozhou
4m 41s update-readme
update-readme
4m 41s
PR #25 CodeQL #187: by ziqiaozhou
1m 35s refs/pull/25/head
refs/pull/25/head
1m 35s
Upgrade verus to latest version (Drop verification time to 3min) (#24) Verify #59: Commit cbc0695 pushed by ziqiaozhou
4m 13s main
main
4m 13s
Push on main CodeQL #186: by github-advanced-security AI
1m 53s main
main
1m 53s
Upgrade verus to latest version (Drop verification time to 3min) Verify #58: Pull request #24 synchronize by ziqiaozhou
4m 46s enable-build-verus-source
enable-build-verus-source
4m 46s
PR #24 CodeQL #185: by ziqiaozhou
52s refs/pull/24/head
refs/pull/24/head
52s
Upgrade verus to latest version (Drop verification time to 3min) Verify #57: Pull request #24 synchronize by ziqiaozhou
34m 48s enable-build-verus-source
enable-build-verus-source
34m 48s
PR #24 CodeQL #184: by ziqiaozhou
1m 23s refs/pull/24/head
refs/pull/24/head
1m 23s
Upgrade verus to latest version (Drop verification time to 3min) Verify #56: Pull request #24 synchronize by ziqiaozhou
3m 27s enable-build-verus-source
enable-build-verus-source
3m 27s
PR #24 CodeQL #183: by ziqiaozhou
54s refs/pull/24/head
refs/pull/24/head
54s
Upgrade verus to latest version (Drop verification time to 3min) Verify #55: Pull request #24 synchronize by ziqiaozhou
4m 10s enable-build-verus-source
enable-build-verus-source
4m 10s
PR #24 CodeQL #182: by ziqiaozhou
53s refs/pull/24/head
refs/pull/24/head
53s