Skip to content
Docker

refactor: add <-not-equal #78

Sign in to view logs

refactor: add <-not-equal

refactor: add <-not-equal #78

Triggered via push November 20, 2023 14:13
@favoniafavonia
pushed 0ea4f73
main
Status Success
Total duration 3m 40s
Artifacts –

agda.yml

on: push
build
3m 29s
build
Fit to window
Zoom out
Zoom in