Skip to content

Actions: adpaco-aws/rmc

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
358 workflow runs
358 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into attr-invariant Kani CI #1000: Commit 0ed1f23 pushed by adpaco-aws
July 26, 2024 21:59 35m 21s attr-invariant
attr-invariant
July 26, 2024 21:59 35m 21s
Fix default safe body for unnamed fields Kani CI #999: Commit 7cc466f pushed by adpaco-aws
July 26, 2024 19:38 30m 38s attr-invariant
attr-invariant
July 26, 2024 19:38 30m 38s
Fix fmt Kani CI #998: Commit 64a5a8b pushed by adpaco-aws
July 23, 2024 19:49 28m 10s attr-invariant
attr-invariant
July 23, 2024 19:49 28m 10s
Merge branch 'main' into attr-invariant Kani CI #997: Commit df7f002 pushed by adpaco-aws
July 23, 2024 19:47 30m 29s attr-invariant
attr-invariant
July 23, 2024 19:47 30m 29s
Add is_safe calls to generated return value Kani CI #996: Commit 1fc797e pushed by adpaco-aws
July 23, 2024 19:47 31m 49s attr-invariant
attr-invariant
July 23, 2024 19:47 31m 49s
Remove renamed test cases Kani CI #995: Commit 92fcede pushed by adpaco-aws
July 23, 2024 15:35 3m 39s attr-invariant
attr-invariant
July 23, 2024 15:35 3m 39s
Restore import Kani CI #994: Commit d0ae3bd pushed by adpaco-aws
July 23, 2024 15:19 4m 22s attr-invariant
attr-invariant
July 23, 2024 15:19 4m 22s
Remove path line Kani CI #993: Commit bf93601 pushed by adpaco-aws
July 22, 2024 19:47 30m 47s derive-invariant-2
derive-invariant-2
July 22, 2024 19:47 30m 47s
Merge branch 'main' into derive-invariant-2 Kani CI #992: Commit bc3b3e9 pushed by adpaco-aws
July 22, 2024 19:10 29m 14s derive-invariant-2
derive-invariant-2
July 22, 2024 19:10 29m 14s
Add side-effect test Kani CI #991: Commit 05dea45 pushed by adpaco-aws
July 22, 2024 19:07 31m 20s derive-invariant-2
derive-invariant-2
July 22, 2024 19:07 31m 20s
Merge branch 'main' into check-char-surrogate Kani CI #990: Commit 85886da pushed by adpaco-aws
July 19, 2024 20:16 28m 18s check-char-surrogate
check-char-surrogate
July 19, 2024 20:16 28m 18s
Generate combined checks for ranges Kani CI #989: Commit a99fdb3 pushed by adpaco-aws
July 19, 2024 19:30 32m 10s check-char-surrogate
check-char-surrogate
July 19, 2024 19:30 32m 10s
Fixes for renaming Kani CI #988: Commit eba5ef9 pushed by adpaco-aws
July 18, 2024 16:23 34m 29s derive-invariant-2
derive-invariant-2
July 18, 2024 16:23 34m 29s
Last renames Kani CI #987: Commit 1a549be pushed by adpaco-aws
July 18, 2024 15:34 28m 31s derive-invariant-2
derive-invariant-2
July 18, 2024 15:34 28m 31s
Merge branch 'main' into derive-invariant-2 Kani CI #986: Commit 546ecf9 pushed by adpaco-aws
July 18, 2024 15:26 37m 15s derive-invariant-2
derive-invariant-2
July 18, 2024 15:26 37m 15s
Fix helper pick-up and rename tests Kani CI #985: Commit c3fc474 pushed by adpaco-aws
July 18, 2024 15:26 39m 43s derive-invariant-2
derive-invariant-2
July 18, 2024 15:26 39m 43s
Missing important rename Kani CI #984: Commit b6ec5b9 pushed by adpaco-aws
July 17, 2024 22:18 28m 27s derive-invariant-2
derive-invariant-2
July 17, 2024 22:18 28m 27s
Merge branch 'main' into derive-invariant-2 Kani CI #983: Commit ca962ed pushed by adpaco-aws
July 17, 2024 22:09 29m 22s derive-invariant-2
derive-invariant-2
July 17, 2024 22:09 29m 22s
#[invariant(...)] -> #[safety_constraint(...)] Kani CI #982: Commit f42e724 pushed by adpaco-aws
July 17, 2024 22:07 31m 55s derive-invariant-2
derive-invariant-2
July 17, 2024 22:07 31m 55s
Check two ranges for char values Kani CI #981: Commit d78604a pushed by adpaco-aws
July 15, 2024 21:37 31m 6s check-char-surrogate
check-char-surrogate
July 15, 2024 21:37 31m 6s
Restore import Kani CI #980: Commit 1caabb7 pushed by adpaco-aws
July 9, 2024 22:00 30m 8s attr-invariant
attr-invariant
July 9, 2024 22:00 30m 8s
Merge branch 'main' into attr-invariant Kani CI #979: Commit be69c27 pushed by adpaco-aws
July 9, 2024 21:38 32m 34s attr-invariant
attr-invariant
July 9, 2024 21:38 32m 34s
Add another test Kani CI #978: Commit 087b22b pushed by adpaco-aws
July 9, 2024 21:35 29m 51s attr-invariant
attr-invariant
July 9, 2024 21:35 29m 51s
Derive Arbitrary as well, fix tests Kani CI #977: Commit 61c9fbe pushed by adpaco-aws
July 9, 2024 21:29 32m 0s attr-invariant
attr-invariant
July 9, 2024 21:29 32m 0s
Add double-attr-invariant test Kani CI #976: Commit ea33b42 pushed by adpaco-aws
July 9, 2024 21:08 32m 8s attr-invariant
attr-invariant
July 9, 2024 21:08 32m 8s