Skip to content

Actions: GaloisInc/mir-json

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
418 workflow runs
418 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #242 from GaloisInc/dependabot/cargo/time-0.3.47 CI #428: Commit f67613f pushed by RyanGlScott
8m 43s master
master
8m 43s
build(deps): bump time from 0.3.41 to 0.3.47 CI #427: Pull request #242 opened by dependabot bot
12m 33s dependabot/cargo/time-0.3.47
dependabot/cargo/time-0.3.47
12m 33s
Add field offsets to layout info for struct-like types CI #426: Pull request #218 synchronize by spernsteiner
4m 4s layout-fields
layout-fields
4m 4s
Merge pull request #240 from GaloisInc/T237-trait-object-constants CI #425: Commit cf71cd5 pushed by RyanGlScott
14m 20s master
master
14m 20s
Support constant trait objects CI #424: Pull request #240 synchronize by RyanGlScott
3m 24s T237-trait-object-constants
T237-trait-object-constants
3m 24s
Merge pull request #234 from GaloisInc/T226-simplify-thread-parking-a… CI #423: Commit 886c15a pushed by RyanGlScott
4m 12s master
master
4m 12s
libs: Simplify implementations of thread parking and guard::enable CI #422: Pull request #234 synchronize by RyanGlScott
3m 39s T226-simplify-thread-parking-and-guard
T226-simplify-thread-parking-and-guard
3m 39s
Merge pull request #233 from GaloisInc/T224-from_into_inner_raw CI #421: Commit 6a8ecc7 pushed by RyanGlScott
3m 22s master
master
3m 22s
libs: Add {Arc,Rc}::{from,into}_inner_raw, use them in std::thread internals CI #420: Pull request #233 synchronize by RyanGlScott
4m 37s T224-from_into_inner_raw
T224-from_into_inner_raw
4m 37s
Merge pull request #232 from GaloisInc/T225-std-thread_avoid_raw_poin… CI #419: Commit bc12232 pushed by RyanGlScott
4m 21s master
master
4m 21s
libs: Avoid raw pointer comparisons in std::thread CI #418: Pull request #232 synchronize by RyanGlScott
4m 17s T225-std-thread_avoid_raw_pointer_comparisons
T225-std-thread_avoid_raw_pointer_comparisons
4m 17s
Merge pull request #231 from GaloisInc/T227-caller-dummy-location CI #417: Commit 5553e60 pushed by RyanGlScott
3m 17s master
master
3m 17s
libs: Return dummy location in Location::caller CI #416: Pull request #231 synchronize by RyanGlScott
5m 13s T227-caller-dummy-location
T227-caller-dummy-location
5m 13s
Merge pull request #230 from GaloisInc/T228-hash-patch CI #415: Commit 720d546 pushed by RyanGlScott
7m 57s master
master
7m 57s
Merge pull request #223 from GaloisInc/T222-coroutine_args-normalization CI #414: Commit 4156364 pushed by RyanGlScott
8m 17s master
master
8m 17s
Merge pull request #221 from GaloisInc/T219-patch-new_uninit_zeroed CI #413: Commit d6ae15d pushed by RyanGlScott
3m 5s master
master
3m 5s
Support constant trait objects CI #412: Pull request #240 synchronize by RyanGlScott
25m 53s T237-trait-object-constants
T237-trait-object-constants
25m 53s
Support constant trait objects CI #411: Pull request #240 opened by RyanGlScott
3m 38s T237-trait-object-constants
T237-trait-object-constants
3m 38s
libs: Simplify implementations of thread parking and guard::enable CI #410: Pull request #234 synchronize by RyanGlScott
3m 45s T226-simplify-thread-parking-and-guard
T226-simplify-thread-parking-and-guard
3m 45s
libs: Add {Arc,Rc}::{from,into}_inner_raw, use them in std::thread internals CI #409: Pull request #233 synchronize by RyanGlScott
4m 43s T224-from_into_inner_raw
T224-from_into_inner_raw
4m 43s
libs: Simplify implementations of thread parking and guard::enable CI #408: Pull request #234 synchronize by RyanGlScott
6m 26s T226-simplify-thread-parking-and-guard
T226-simplify-thread-parking-and-guard
6m 26s
libs: Add {Arc,Rc}::{from,into}_inner_raw, use them in std::thread internals CI #407: Pull request #233 synchronize by RyanGlScott
14m 16s T224-from_into_inner_raw
T224-from_into_inner_raw
14m 16s
libs: Simplify implementations of thread parking and guard::enable CI #406: Pull request #234 opened by RyanGlScott
3m 29s T226-simplify-thread-parking-and-guard
T226-simplify-thread-parking-and-guard
3m 29s
libs: Add {Arc,Rc}::{from,into}_inner_raw, use them in std::thread internals CI #405: Pull request #233 opened by RyanGlScott
3m 46s T224-from_into_inner_raw
T224-from_into_inner_raw
3m 46s
libs: Avoid raw pointer comparisons in std::thread CI #404: Pull request #232 synchronize by RyanGlScott
5m 36s T225-std-thread_avoid_raw_pointer_comparisons
T225-std-thread_avoid_raw_pointer_comparisons
5m 36s