Skip to content

Actions: AeneasVerif/charon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow run results
9 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #76 from AeneasVerif/son/arrays Build and test #199: Commit 9aedfc3 pushed by sonmarcho
February 2, 2024 22:35 33s main
main
February 2, 2024 22:35 33s
Rename some test files Build and test #198: Pull request #76 opened by sonmarcho
February 2, 2024 22:35 22s son/arrays
son/arrays
February 2, 2024 22:35 22s
Rename array.rs to arrays.rs (and same for array_const_generics.rs) Build and test #197: Commit 509742c pushed by sonmarcho
February 2, 2024 22:23 36s son/arrays
son/arrays
February 2, 2024 22:23 36s
Prepare the merge with hax Build and test #196: Pull request #70 synchronize by sonmarcho
January 29, 2024 21:38 41s son/hax
son/hax
January 29, 2024 21:38 41s
Add a comment Build and test #195: Commit d3a93f8 pushed by sonmarcho
January 29, 2024 21:38 24s son/hax
son/hax
January 29, 2024 21:38 24s
Prepare the merge with hax Build and test #194: Pull request #70 synchronize by sonmarcho
January 29, 2024 21:34 42s son/hax
son/hax
January 29, 2024 21:34 42s
Use maps instead of vectors for the trait clause params Build and test #193: Commit 4ae7cd1 pushed by sonmarcho
January 29, 2024 21:34 24s son/hax
son/hax
January 29, 2024 21:34 24s
Prepare the merge with hax Build and test #192: Pull request #70 synchronize by sonmarcho
January 29, 2024 21:02 1m 14s son/hax
son/hax
January 29, 2024 21:02 1m 14s
Add a missing case Build and test #191: Commit a9b8cae pushed by sonmarcho
January 29, 2024 21:02 58s son/hax
son/hax
January 29, 2024 21:02 58s