Skip to content

Actions: amazon-ion/ion-rust

Miri test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,011 workflow runs
1,011 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into desaikd-serde-changes
Miri test #11: Commit 77afb76 pushed by desaikd
September 25, 2023 22:16 16m 39s desaikd-serde-changes
September 25, 2023 22:16 16m 39s
Adds experimental serde feature
Miri test #10: Pull request #633 synchronize by desaikd
September 25, 2023 21:58 4s desaikd-serde-changes
September 25, 2023 21:58 4s
adds minor doc comment changes
Miri test #9: Commit b244b1e pushed by desaikd
September 25, 2023 21:58 12m 12s desaikd-serde-changes
September 25, 2023 21:58 12m 12s
Adds experimental serde feature
Miri test #8: Pull request #633 synchronize by desaikd
September 21, 2023 20:13 4s desaikd-serde-changes
September 21, 2023 20:13 4s
modifies miri test for CI
Miri test #7: Commit 3ef95db pushed by desaikd
September 21, 2023 20:13 12m 36s desaikd-serde-changes
September 21, 2023 20:13 12m 36s
Adds experimental serde feature
Miri test #6: Pull request #633 synchronize by desaikd
September 19, 2023 19:44 4s desaikd-serde-changes
September 19, 2023 19:44 4s
adds CI workflow changes for miri
Miri test #5: Commit 1fd1a17 pushed by desaikd
September 19, 2023 19:43 1m 12s desaikd-serde-changes
September 19, 2023 19:43 1m 12s
Adds experimental serde feature
Miri test #4: Pull request #633 synchronize by desaikd
September 19, 2023 19:08 2s desaikd-serde-changes
September 19, 2023 19:08 2s
adds changes for miri test CI workflow
Miri test #3: Commit 50e1d4f pushed by desaikd
September 19, 2023 19:08 1m 8s desaikd-serde-changes
September 19, 2023 19:08 1m 8s
Adds experimental serde feature
Miri test #2: Pull request #633 synchronize by desaikd
September 19, 2023 19:05 6s desaikd-serde-changes
September 19, 2023 19:05 6s
adds suggested changes
Miri test #1: Commit d4a0600 pushed by desaikd
September 19, 2023 19:05 1m 7s desaikd-serde-changes
September 19, 2023 19:05 1m 7s
ProTip! You can narrow down the results and go further in time using created:<2023-09-19 or the other filters available.