agda 2.6.4.3 with nixos 24.05 #37

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request June 6, 2024 14:38

jkopanski

opened #15

jkopanski:24.05

Status Success

Total duration 2m 29s

Artifacts –

build.yml

on: pull_request