Skip to content
CI

Update Agda to 2.7 #4383

Sign in to view logs

Update Agda to 2.7

Update Agda to 2.7 #4383

Triggered via pull request September 20, 2024 16:11
@javierdiaz72javierdiaz72
synchronize #1257
amesgen/agda-2.7
Status Success
Total duration 39m 22s
Artifacts 3

ci.yml

on: pull_request
Matrix: Build and test
Matrix: Run benchmarks
Deploy documentation to GitHub Pages
0s
Deploy documentation to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
benchmark-exes-Linux-8.10.7 Expired
7.82 MB
benchmark-exes-Linux-9.10.1 Expired
7.04 MB
benchmark-exes-Linux-9.6.6 Expired
6.94 MB