Skip to content
EasyCrypt Docker Containers Build

Use reductive equality tests, and destruct the last matching operator #34

Sign in to view logs

Use reductive equality tests, and destruct the last matching operator

Use reductive equality tests, and destruct the last matching operator #34

Triggered via push February 16, 2026 20:54
@strubstrub
pushed c2eb5bd
main
Status Success
Total duration 15m 43s
Artifacts –

docker.yml

on: push
Build and Push Container Images
15m 40s
Build and Push Container Images
Fit to window
Zoom out
Zoom in