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
[external ci] add xsalsa security EasyCrypt compilation & check #2749: Pull request #540 synchronize by fdupress
April 19, 2024 12:37 23s external-ci-xsalsa
external-ci-xsalsa
April 19, 2024 12:37 23s
[external ci] add xsalsa security EasyCrypt compilation & check #2748: Commit 1b0718e pushed by fdupress
April 19, 2024 12:37 2h 0m 41s external-ci-xsalsa
external-ci-xsalsa
April 19, 2024 12:37 2h 0m 41s
add cryptobox to the external CI EasyCrypt compilation & check #2747: Commit 3cfeb39 pushed by github-merge-queue bot
April 19, 2024 12:35 20s main
main
April 19, 2024 12:35 20s
[external ci] add xsalsa security EasyCrypt compilation & check #2746: Pull request #540 opened by fdupress
April 19, 2024 12:28 21s external-ci-xsalsa
external-ci-xsalsa
April 19, 2024 12:28 21s
add cryptobox to the external CI EasyCrypt compilation & check #2745: Commit 3cfeb39 pushed by github-merge-queue bot
April 19, 2024 12:27 20s gh-readonly-queue/main/pr-539-e2e4efbd25456f278cc3538693816121e298bf70
gh-readonly-queue/main/pr-539-e2e4efbd25456f278cc3538693816121e298bf70
April 19, 2024 12:27 20s
EasyCrypt compilation & check EasyCrypt compilation & check #2744: Merge group checks requested
April 19, 2024 12:27 2h 5m 30s
April 19, 2024 12:27 2h 5m 30s
[external ci] add xsalsa security EasyCrypt compilation & check #2743: Commit 2e807bd pushed by fdupress
April 19, 2024 12:27 2h 3m 35s external-ci-xsalsa
external-ci-xsalsa
April 19, 2024 12:27 2h 3m 35s
EasyCrypt compilation & check EasyCrypt compilation & check #2742: Merge group checks requested
April 19, 2024 12:21 2h 4m 43s
April 19, 2024 12:21 2h 4m 43s
add cryptobox to the external CI EasyCrypt compilation & check #2741: Commit 84fad32 pushed by github-merge-queue bot
April 19, 2024 12:21 2h 9m 6s gh-readonly-queue/main/pr-539-e2e4efbd25456f278cc3538693816121e298bf70
gh-readonly-queue/main/pr-539-e2e4efbd25456f278cc3538693816121e298bf70
April 19, 2024 12:21 2h 9m 6s
WIP Removing hardcoded type size and circuits for operators EasyCrypt compilation & check #2740: Commit 278ee27 pushed by Gustavo2622
April 18, 2024 17:23 2m 10s bdep
bdep
April 18, 2024 17:23 2m 10s
Add forall EasyCrypt compilation & check #2739: Commit fb42428 pushed by lyonel2017
April 16, 2024 20:58 7m 19s PolynomialEncoding
PolynomialEncoding
April 16, 2024 20:58 7m 19s
External CI: add cryptobox EasyCrypt compilation & check #2738: Pull request #539 opened by fdupress
April 16, 2024 14:38 26s external-ci-cryptobox
external-ci-cryptobox
April 16, 2024 14:38 26s
add cryptobox to the external CI EasyCrypt compilation & check #2737: Commit 5a13991 pushed by fdupress
April 16, 2024 14:36 2h 4m 53s external-ci-cryptobox
external-ci-cryptobox
April 16, 2024 14:36 2h 4m 53s
WIP - Barrett red example translation (needs testing and check) EasyCrypt compilation & check #2736: Commit c7316c4 pushed by Gustavo2622
April 15, 2024 21:53 7m 13s PolynomialEncoding
PolynomialEncoding
April 15, 2024 21:53 7m 13s
wip : Added env prop EasyCrypt compilation & check #2735: Commit e8741ac pushed by Gustavo2622
April 15, 2024 13:27 7m 22s PolynomialEncoding
PolynomialEncoding
April 15, 2024 13:27 7m 22s
tactic: match: out of TCB EasyCrypt compilation & check #2734: Pull request #510 synchronize by strub
April 15, 2024 09:00 26s match-no-tcb
match-no-tcb
April 15, 2024 09:00 26s
tactic: match: out of TCB EasyCrypt compilation & check #2733: Commit 0c0cd00 pushed by strub
April 15, 2024 09:00 1h 58m 31s match-no-tcb
match-no-tcb
April 15, 2024 09:00 1h 58m 31s
[ci] separate status for all external projects EasyCrypt compilation & check #2732: Commit e2e4efb pushed by strub
April 15, 2024 06:55 2h 6m 18s main
main
April 15, 2024 06:55 2h 6m 18s
tactic: match: out of TCB EasyCrypt compilation & check #2731: Pull request #510 synchronize by strub
April 15, 2024 06:52 19s match-no-tcb
match-no-tcb
April 15, 2024 06:52 19s
tactic: match: out of TCB EasyCrypt compilation & check #2730: Commit 6207540 pushed by strub
April 15, 2024 06:52 1h 58m 50s match-no-tcb
match-no-tcb
April 15, 2024 06:52 1h 58m 50s
Add tactic to call Coq EasyCrypt compilation & check #2729: Pull request #467 synchronize by strub
April 13, 2024 17:24 15s feature-micromega
feature-micromega
April 13, 2024 17:24 15s
Merge remote-tracking branch 'origin/main' into feature-micromega EasyCrypt compilation & check #2728: Commit b5cf551 pushed by strub
April 13, 2024 17:24 2h 6m 1s feature-micromega
feature-micromega
April 13, 2024 17:24 2h 6m 1s
[ci] separate status for all external projects EasyCrypt compilation & check #2727: Pull request #538 synchronize by strub
April 13, 2024 17:20 21s status-ci-projects
status-ci-projects
April 13, 2024 17:20 21s
[ci] separate status for all external projects EasyCrypt compilation & check #2726: Commit 614a08f pushed by strub
April 13, 2024 17:20 2h 1m 20s status-ci-projects
status-ci-projects
April 13, 2024 17:20 2h 1m 20s
[ci] add ML-KEM EasyCrypt compilation & check #2725: Commit 51b60df pushed by strub
April 13, 2024 17:19 2h 1m 46s main
main
April 13, 2024 17:19 2h 1m 46s