Skip to content
Cargo Build & Test

Enable church numerals and standard environment by default #18

Sign in to view logs

Enable church numerals and standard environment by default

Enable church numerals and standard environment by default #18

Triggered via push October 24, 2024 21:50
@jzborjzbor
pushed e9e6cd4
master
Status Success
Total duration 55s
Artifacts –

cargo.yml

on: push
build
13s
build
test
18s
test
clippy
23s
clippy
Fit to window
Zoom out
Zoom in