Skip to content

Actions: AeneasVerif/eurydice

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
865 workflow runs
865 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #136 from Nadrieril/fix-flake Build Eurydice and run tests #558: Commit 4ad2b51 pushed by Nadrieril
January 14, 2025 11:36 7m 50s main
main
January 14, 2025 11:36 7m 50s
Fix flake Build Eurydice and run tests #557: Pull request #136 synchronize by Nadrieril
January 14, 2025 11:22 13m 3s Nadrieril:fix-flake
Nadrieril:fix-flake
January 14, 2025 11:22 13m 3s
Fix flake Build Eurydice and run tests #556: Pull request #136 opened by Nadrieril
January 13, 2025 17:02 6m 10s Nadrieril:fix-flake
Nadrieril:fix-flake
January 13, 2025 17:02 6m 10s
Merge pull request #135 from Nadrieril/update-charon Build Eurydice and run tests #555: Commit cc3d69a pushed by Nadrieril
January 13, 2025 14:05 7m 3s main
main
January 13, 2025 14:05 7m 3s
Update charon Build Eurydice and run tests #554: Pull request #135 synchronize by Nadrieril
January 13, 2025 13:45 10m 57s Nadrieril:update-charon
Nadrieril:update-charon
January 13, 2025 13:45 10m 57s
Update charon Build Eurydice and run tests #553: Pull request #135 opened by Nadrieril
January 13, 2025 13:42 48s Nadrieril:update-charon
Nadrieril:update-charon
January 13, 2025 13:42 48s
Merge pull request #131 from Nadrieril/commit-test-output Build Eurydice and run tests #552: Commit 82edf30 pushed by Nadrieril
January 13, 2025 13:26 8m 25s main
main
January 13, 2025 13:26 8m 25s
Commit test output Build Eurydice and run tests #551: Pull request #131 synchronize by Nadrieril
January 13, 2025 13:06 8m 49s Nadrieril:commit-test-output
Nadrieril:commit-test-output
January 13, 2025 13:06 8m 49s
Merge pull request #134 from AeneasVerif/protz_relax Build Eurydice and run tests #550: Commit aff3b63 pushed by msprotz
January 11, 2025 02:37 7m 1s main
main
January 11, 2025 02:37 7m 1s
Relax failing assertion Build Eurydice and run tests #549: Pull request #134 opened by msprotz
January 11, 2025 00:04 6m 58s protz_relax
protz_relax
January 11, 2025 00:04 6m 58s
Merge pull request #133 from AeneasVerif/protz_inlining Build Eurydice and run tests #548: Commit 0cc48e6 pushed by msprotz
January 10, 2025 22:33 6m 58s main
main
January 10, 2025 22:33 6m 58s
Fixup inlining of loop bodies to cater to Aeneas restriction Build Eurydice and run tests #547: Pull request #133 opened by msprotz
January 10, 2025 22:26 6m 55s protz_inlining
protz_inlining
January 10, 2025 22:26 6m 55s
Properly substitute trait generics Build Eurydice and run tests #546: Pull request #132 synchronize by msprotz
January 10, 2025 15:50 2m 26s Nadrieril:properly-substitute-trait-generics
Nadrieril:properly-substitute-trait-generics
January 10, 2025 15:50 2m 26s
Commit test output Build Eurydice and run tests #545: Pull request #131 synchronize by Nadrieril
January 10, 2025 14:48 6m 57s Nadrieril:commit-test-output
Nadrieril:commit-test-output
January 10, 2025 14:48 6m 57s
Properly substitute trait generics Build Eurydice and run tests #544: Pull request #132 opened by Nadrieril
January 10, 2025 14:36 2m 25s Nadrieril:properly-substitute-trait-generics
Nadrieril:properly-substitute-trait-generics
January 10, 2025 14:36 2m 25s
Commit test output Build Eurydice and run tests #543: Pull request #131 opened by Nadrieril
January 10, 2025 14:09 2m 42s Nadrieril:commit-test-output
Nadrieril:commit-test-output
January 10, 2025 14:09 2m 42s
Merge pull request #130 from AeneasVerif/protz_booleans Build Eurydice and run tests #542: Commit 7b2a183 pushed by msprotz
January 9, 2025 23:41 14h 35m 45s main
main
January 9, 2025 23:41 14h 35m 45s
Fix #122 by using operators that are consistent with the type of the operands Build Eurydice and run tests #541: Pull request #130 synchronize by msprotz
January 9, 2025 23:24 16m 34s protz_booleans
protz_booleans
January 9, 2025 23:24 16m 34s
Fix #122 by using operators that are consistent with the type of the operands Build Eurydice and run tests #540: Pull request #130 synchronize by msprotz
January 9, 2025 23:22 58s protz_booleans
protz_booleans
January 9, 2025 23:22 58s
Fix #122 by using operators that are consistent with the type of the operands Build Eurydice and run tests #539: Pull request #130 synchronize by msprotz
January 8, 2025 23:25 3m 4s protz_booleans
protz_booleans
January 8, 2025 23:25 3m 4s
Fix #122 by using operators that are consistent with the type of the operands Build Eurydice and run tests #538: Pull request #130 opened by msprotz
January 8, 2025 23:04 13m 30s protz_booleans
protz_booleans
January 8, 2025 23:04 13m 30s
Companion PR for https://github.com/FStarLang/karamel/pull/518 Build Eurydice and run tests #537: Pull request #129 opened by msprotz
January 8, 2025 23:02 57s protz_enums
protz_enums
January 8, 2025 23:02 57s
Preliminary support for associated types Build Eurydice and run tests #536: Pull request #126 opened by msprotz
January 7, 2025 21:08 5m 10s associated_types
associated_types
January 7, 2025 21:08 5m 10s
Merge pull request #124 from Nadrieril/use-correct-ocamlformat Build Eurydice and run tests #535: Commit 8e112cd pushed by Nadrieril
January 3, 2025 12:46 5m 33s main
main
January 3, 2025 12:46 5m 33s
Use the correct version of ocamlformat in nix shell Build Eurydice and run tests #534: Pull request #124 opened by Nadrieril
January 3, 2025 12:38 7m 24s Nadrieril:use-correct-ocamlformat
Nadrieril:use-correct-ocamlformat
January 3, 2025 12:38 7m 24s