Skip to content

Refactoring

Refactoring #1953

Triggered via push September 12, 2023 14:16
Status Success
Total duration 10m 20s
Artifacts 2

ci.yml

on: push
EasyCrypt compilation (opam)
2m 44s
EasyCrypt compilation (opam)
EasyCrypt compilation (nix)
2m 12s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Notification
3s
Notification
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Notification
The following actions uses node12 which is deprecated and will be forced to run on node16: zulip/github-actions-zulip/send-message@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Artifacts

Produced during runtime
Name Size
report.log (examples) Expired
6.37 KB
report.log (stdlib) Expired
16 KB