Search results

Deploy doc rendering for v2.1

admin

continuous-integration

release

Status: Open.

#2452 In agda/agda-stdlib;

· andreasabel opened on Aug 1, 2024

 ·  

v2.3

Streamlining the <code>make test</code>/CI infrastructure?

admin

continuous-integration

discussion

Status: Open.

#2248 In agda/agda-stdlib;

· jamesmckinna opened on Jan 4, 2024

CI never sets AGDA_COMMIT in certain runs

bug

continuous-integration

Status: Open.

#2188 In agda/agda-stdlib;

· andreasabel opened on Oct 31, 2023

Improve GenerateEverything

continuous-integration

refactoring

Status: Open.

#1816 In agda/agda-stdlib;

· MatthewDaggitt opened on Sep 12, 2022

Fix the mentions of defunct <code>README</code> modules

bug

continuous-integration

documentation

low-hanging-fruit

Status: Open.

#1380 In agda/agda-stdlib;

· gallais opened on Dec 14, 2020

Consider cleaning the gh-pages branch up constantly

admin

continuous-integration

Status: Open.

#874 In agda/agda-stdlib;

· ice1000 opened on Aug 31, 2019