Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt compilation & check

Actions

Loading...

Show workflow options

Create status badge

ci.yml
1,189 workflow runs
1,189 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
runtest: when EC is killed, display an error message EasyCrypt compilation & check #2824: Commit 2d87cff pushed by strub
May 25, 2024 16:10 1h 57m 42s main
main
May 25, 2024 16:10 1h 57m 42s
(undocumented) option to pass EC arguments via runtest EasyCrypt compilation & check #2823: Commit 945c4e0 pushed by strub
May 25, 2024 09:53 25s main
main
May 25, 2024 09:53 25s
(undocumented) option to pass EC arguments via runtest EasyCrypt compilation & check #2822: Commit 945c4e0 pushed by strub
May 25, 2024 09:16 2h 1m 47s compact-option
compact-option
May 25, 2024 09:16 2h 1m 47s
(undocument) option to pass EC arguments via runtest EasyCrypt compilation & check #2821: Commit e82b24e pushed by strub
May 25, 2024 09:11 2h 6m 16s compact-option
compact-option
May 25, 2024 09:11 2h 6m 16s
Do not compute GC stats twice when printing memory statistics EasyCrypt compilation & check #2820: Commit 3952606 pushed by strub
May 25, 2024 08:55 26s main
main
May 25, 2024 08:55 26s
gc-stats EasyCrypt compilation & check #2819: Commit 4a63a58 pushed by strub
May 25, 2024 07:54 47m 27s gc-stats
gc-stats
May 25, 2024 07:54 47m 27s
gc-stats EasyCrypt compilation & check #2818: Commit a4f7ccf pushed by strub
May 25, 2024 07:53 6m 55s gc-stats
gc-stats
May 25, 2024 07:53 6m 55s
gc-stats EasyCrypt compilation & check #2817: Commit 7d6c144 pushed by strub
May 25, 2024 07:51 6m 55s gc-stats
gc-stats
May 25, 2024 07:51 6m 55s
gc-stats EasyCrypt compilation & check #2816: Commit eb62c10 pushed by strub
May 25, 2024 07:47 1h 59m 43s gc-stats
gc-stats
May 25, 2024 07:47 1h 59m 43s
Remove non-strict proof mode. EasyCrypt compilation & check #2815: Commit 0df8511 pushed by strub
May 25, 2024 07:47 1h 58m 3s gc-stats
gc-stats
May 25, 2024 07:47 1h 58m 3s
Simplify/clean up memory/call restrictions. EasyCrypt compilation & check #2814: Pull request #550 opened by strub
May 24, 2024 08:59 26s clean-mem-restr
clean-mem-restr
May 24, 2024 08:59 26s
Simplify/clean up memory/call restrictions. EasyCrypt compilation & check #2813: Commit fc93294 pushed by strub
May 24, 2024 08:58 2h 0m 27s clean-mem-restr
clean-mem-restr
May 24, 2024 08:58 2h 0m 27s
type checking EasyCrypt compilation & check #2812: Commit f54f899 pushed by bgregoir
May 24, 2024 06:32 2m 6s ois-refactoring
ois-refactoring
May 24, 2024 06:32 2m 6s
. EasyCrypt compilation & check #2811: Commit e44aa60 pushed by strub
May 23, 2024 07:30 1h 59m 11s ois-refactoring
ois-refactoring
May 23, 2024 07:30 1h 59m 11s
Merge branch 'main' into easypqc EasyCrypt compilation & check #2810: Commit 7ad0928 pushed by strub
May 23, 2024 06:45 2m 28s deploy-easyPQC
deploy-easyPQC
May 23, 2024 06:45 2m 28s
. EasyCrypt compilation & check #2809: Commit f6dd9b8 pushed by strub
May 23, 2024 05:20 2h 3m 37s ois-refactoring
ois-refactoring
May 23, 2024 05:20 2h 3m 37s
. EasyCrypt compilation & check #2808: Commit a5b56b3 pushed by bgregoir
May 21, 2024 16:11 2m 23s simplify_module
simplify_module
May 21, 2024 16:11 2m 23s
ml-kem: jobs=1 EasyCrypt compilation & check #2807: Commit 9f80bc0 pushed by strub
May 18, 2024 18:23 5h 0m 49s deploy-tc
deploy-tc
May 18, 2024 18:23 5h 0m 49s
TC Refactoring. EasyCrypt compilation & check #2806: Commit 89aaa44 pushed by strub
May 17, 2024 22:38 27m 29s deploy-tc
deploy-tc
May 17, 2024 22:38 27m 29s
Remove non-strict proof mode. EasyCrypt compilation & check #2805: Commit 0df8511 pushed by strub
May 16, 2024 08:49 24s main
main
May 16, 2024 08:49 24s
Remove non-strict proof mode. EasyCrypt compilation & check #2804: Pull request #548 opened by strub
May 16, 2024 08:30 21s remove-non-strict-proofs
remove-non-strict-proofs
May 16, 2024 08:30 21s
Remove non-strict proof mode. EasyCrypt compilation & check #2803: Commit a03ce0c pushed by strub
May 16, 2024 08:30 2h 0m 37s remove-non-strict-proofs
remove-non-strict-proofs
May 16, 2024 08:30 2h 0m 37s
Remove non-strict proof mode. EasyCrypt compilation & check #2802: Commit 0e3571e pushed by strub
May 16, 2024 08:29 1h 57m 57s remove-non-strict-proofs
remove-non-strict-proofs
May 16, 2024 08:29 1h 57m 57s
[runtest] fix TTY detection EasyCrypt compilation & check #2801: Commit 554909c pushed by strub
May 15, 2024 16:04 2h 6m 48s main
main
May 15, 2024 16:04 2h 6m 48s
Added eq_mod precondition and more general forms, slight refactoring … EasyCrypt compilation & check #2800: Commit b5050a9 pushed by Gustavo2622
May 15, 2024 16:00 2h 5m 15s PolyMicro
PolyMicro
May 15, 2024 16:00 2h 5m 15s