Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt compilation & check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,509 workflow runs
1,509 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

runtest: ignore Emacs lock files (.#XXX) EasyCrypt compilation & check #3613: Pull request #688 synchronize by strub
January 16, 2025 17:15 23m 10s runtest-ignore-emacs-lock-files
runtest-ignore-emacs-lock-files
January 16, 2025 17:15 23m 10s
Rigid unification option for hint solve/exact EasyCrypt compilation & check #3612: Pull request #680 synchronize by strub
January 16, 2025 09:46 22m 52s irreducible-lemmas
irreducible-lemmas
January 16, 2025 09:46 22m 52s
Better printing of hint DBs EasyCrypt compilation & check #3611: Pull request #689 synchronize by strub
January 16, 2025 09:37 22m 53s better-print-hints
better-print-hints
January 16, 2025 09:37 22m 53s
Better printing of hint DBs EasyCrypt compilation & check #3610: Pull request #689 synchronize by strub
January 16, 2025 09:25 24m 33s better-print-hints
better-print-hints
January 16, 2025 09:25 24m 33s
Better printing of hint DBs EasyCrypt compilation & check #3609: Pull request #689 synchronize by strub
January 16, 2025 09:24 22m 56s better-print-hints
better-print-hints
January 16, 2025 09:24 22m 56s
Better printing of hint DBs EasyCrypt compilation & check #3608: Pull request #689 opened by strub
January 16, 2025 09:21 22m 57s better-print-hints
better-print-hints
January 16, 2025 09:21 22m 57s
New vernacular command: theory aliases EasyCrypt compilation & check #3607: Pull request #685 synchronize by strub
January 15, 2025 21:11 23m 21s theory-alias
theory-alias
January 15, 2025 21:11 23m 21s
Service commit (expain flag for menhir) EasyCrypt compilation & check #3606: Commit 2194cd8 pushed by strub
January 15, 2025 19:39 23m 3s main
main
January 15, 2025 19:39 23m 3s
runtest: ignore Emacs lock files (.#XXX) EasyCrypt compilation & check #3605: Pull request #688 synchronize by strub
January 15, 2025 19:24 23m 29s runtest-ignore-emacs-lock-files
runtest-ignore-emacs-lock-files
January 15, 2025 19:24 23m 29s
runtest: ignore Emacs lock files (.#XXX) EasyCrypt compilation & check #3604: Pull request #688 opened by strub
January 15, 2025 19:23 3m 14s runtest-ignore-emacs-lock-files
runtest-ignore-emacs-lock-files
January 15, 2025 19:23 3m 14s
Service commit (expain flag for menhir) EasyCrypt compilation & check #3603: Pull request #687 opened by strub
January 15, 2025 19:10 27m 41s menhir-explain
menhir-explain
January 15, 2025 19:10 27m 41s
Upgrade to why3 1.8 EasyCrypt compilation & check #3602: Pull request #674 synchronize by strub
January 15, 2025 19:07 4m 7s why3-1.8
why3-1.8
January 15, 2025 19:07 4m 7s
Service commit (docker / nix / dune) EasyCrypt compilation & check #3601: Commit dd06d28 pushed by strub
January 15, 2025 19:06 25m 25s main
main
January 15, 2025 19:06 25m 25s
Upgrade to why3 1.8 EasyCrypt compilation & check #3600: Pull request #674 synchronize by strub
January 15, 2025 19:03 25m 33s why3-1.8
why3-1.8
January 15, 2025 19:03 25m 33s
More results on floor/ceil (isint) EasyCrypt compilation & check #3599: Commit e9aa727 pushed by strub
January 15, 2025 19:00 22m 31s main
main
January 15, 2025 19:00 22m 31s
Service commit (docker / nix / dune) EasyCrypt compilation & check #3598: Pull request #686 synchronize by strub
January 15, 2025 18:08 53m 18s dune-nix
dune-nix
January 15, 2025 18:08 53m 18s
Service commit (docker / nix / dune) EasyCrypt compilation & check #3597: Pull request #686 synchronize by strub
January 15, 2025 18:05 50m 51s dune-nix
dune-nix
January 15, 2025 18:05 50m 51s
Service commit (docker / nix / dune) EasyCrypt compilation & check #3596: Pull request #686 opened by strub
January 15, 2025 18:00 54m 26s dune-nix
dune-nix
January 15, 2025 18:00 54m 26s
New vernacular command: theory aliases EasyCrypt compilation & check #3595: Pull request #685 synchronize by strub
January 15, 2025 08:43 22m 28s theory-alias
theory-alias
January 15, 2025 08:43 22m 28s
New vernacular command: theory aliases EasyCrypt compilation & check #3594: Pull request #685 opened by strub
January 14, 2025 22:47 22m 18s theory-alias
theory-alias
January 14, 2025 22:47 22m 18s
Exposed the tp_nothing typolicy of EcTyping, so external tools can EasyCrypt compilation & check #3593: Commit bba5194 pushed by strub
January 14, 2025 16:17 23m 7s main
main
January 14, 2025 16:17 23m 7s
Remove "non-import" flags from axioms EasyCrypt compilation & check #3592: Pull request #683 synchronize by strub
January 14, 2025 15:45 22m 36s hidden-theory-items
hidden-theory-items
January 14, 2025 15:45 22m 36s
Exposed the tp_nothing typolicy of EcTyping EasyCrypt compilation & check #3591: Pull request #684 opened by alleystoughton
January 14, 2025 15:39 2m 45s expose_nothing_typolicy
expose_nothing_typolicy
January 14, 2025 15:39 2m 45s
Module Tweaks: Allow for fine grain editing of existing modules. EasyCrypt compilation & check #3590: Commit e335db0 pushed by Cameron-Low
January 14, 2025 12:28 22m 42s main
main
January 14, 2025 12:28 22m 42s
Fine Grained Module Definitions EasyCrypt compilation & check #3589: Pull request #661 synchronize by Cameron-Low
January 14, 2025 12:04 23m 32s fine-grained-module-defs
fine-grained-module-defs
January 14, 2025 12:04 23m 32s