Skip to content

Actions: agda/agda

Actions

User Manual

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
user_manual.yml
461 workflow runs
461 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add link to "Let's play Agda" to user manual User Manual #2495: Pull request #8333 opened by jespercockx
1m 38s jespercockx:lets-play-agda
jespercockx:lets-play-agda
1m 38s
Type check in parallel User Manual #2494: Pull request #8332 synchronize by plt-amy
1m 44s aliao/parallel
aliao/parallel
1m 44s
Type check in parallel User Manual #2493: Pull request #8332 synchronize by plt-amy
1m 41s aliao/parallel
aliao/parallel
1m 41s
Type check in parallel User Manual #2492: Pull request #8332 synchronize by plt-amy
1m 34s aliao/parallel
aliao/parallel
1m 34s
Type check in parallel User Manual #2491: Pull request #8332 synchronize by plt-amy
1m 43s aliao/parallel
aliao/parallel
1m 43s
Type check in parallel User Manual #2490: Pull request #8332 opened by plt-amy
1m 55s aliao/parallel
aliao/parallel
1m 55s
new feature: quote metas User Manual #2489: Pull request #8235 synchronize by rybla
1m 37s quoted-holes
quoted-holes
1m 37s
new feature: quote metas User Manual #2488: Pull request #8235 synchronize by rybla
1m 37s quoted-holes
quoted-holes
1m 37s
new feature: quote metas User Manual #2487: Pull request #8235 synchronize by rybla
1m 47s quoted-holes
quoted-holes
1m 47s
Literate forester without external tool (#8290) User Manual #2486: Commit 895bfee pushed by andreasabel
2m 25s master
master
2m 25s
Xref support for Agda2-mode User Manual #2485: Pull request #8181 synchronize by phikal
1m 29s phikal:emacs/xref
phikal:emacs/xref
1m 29s
Xref support for Agda2-mode User Manual #2484: Pull request #8181 synchronize by phikal
1m 37s phikal:emacs/xref
phikal:emacs/xref
1m 37s
Xref support for Agda2-mode User Manual #2483: Pull request #8181 synchronize by phikal
1m 43s phikal:emacs/xref
phikal:emacs/xref
1m 43s
Xref support for Agda2-mode User Manual #2482: Pull request #8181 synchronize by phikal
1m 41s phikal:emacs/xref
phikal:emacs/xref
1m 41s
Xref support for Agda2-mode User Manual #2481: Pull request #8181 synchronize by phikal
1m 30s phikal:emacs/xref
phikal:emacs/xref
1m 30s
Xref support for Agda2-mode User Manual #2480: Pull request #8181 synchronize by phikal
1m 32s phikal:emacs/xref
phikal:emacs/xref
1m 32s
Xref support for Agda2-mode User Manual #2479: Pull request #8181 synchronize by phikal
1m 47s phikal:emacs/xref
phikal:emacs/xref
1m 47s
Xref support for Agda2-mode User Manual #2478: Pull request #8181 synchronize by phikal
1m 43s phikal:emacs/xref
phikal:emacs/xref
1m 43s
Xref support for Agda2-mode User Manual #2477: Pull request #8181 synchronize by phikal
1m 37s phikal:emacs/xref
phikal:emacs/xref
1m 37s
Xref support for Agda2-mode User Manual #2476: Pull request #8181 synchronize by phikal
1m 41s phikal:emacs/xref
phikal:emacs/xref
1m 41s
make mapLHSCores a type class User Manual #2475: Commit bb9e13d pushed by andreasabel
1m 45s master
master
1m 45s
#5833: make with … in generalise over refl User Manual #2474: Pull request #8318 synchronize by ncfavier
1m 58s within
within
1m 58s
Made it possible to turn off the occurrence analysis for functions. User Manual #2473: Commit a215618 pushed by nad
1m 41s master
master
1m 41s
Made it possible to turn off the occurrence analysis for functions User Manual #2472: Pull request #8295 synchronize by nad
1m 37s Added_--no-occurrence-analysis
Added_--no-occurrence-analysis
1m 37s
#5833: make with … in generalise over refl User Manual #2471: Pull request #8318 opened by ncfavier
1m 34s within
within
1m 34s