Skip to content

Actions: agda/agda

Actions

User Manual

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
user_manual.yml
390 workflow runs
390 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Made it possible to turn off the occurrence analysis for functions User Manual #2456: Pull request #8295 opened by nad
1m 41s Added_--no-occurrence-analysis
Added_--no-occurrence-analysis
1m 41s
Literate forester without external tool User Manual #2455: Pull request #8290 synchronize by dannypsnl
2m 24s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
2m 24s
Literate forester without external tool User Manual #2454: Pull request #8290 synchronize by dannypsnl
4m 19s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
4m 19s
Literate forester without external tool User Manual #2453: Pull request #8290 synchronize by dannypsnl
1m 35s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
1m 35s
Literate forester without external tool User Manual #2452: Pull request #8290 synchronize by dannypsnl
1m 35s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
1m 35s
Literate forester without external tool User Manual #2451: Pull request #8290 synchronize by dannypsnl
1m 31s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
1m 31s
Library management: support defaults-X.Y.Z files User Manual #2450: Pull request #8279 synchronize by gallais
1m 27s gallais:defaults-X.Y.Z
gallais:defaults-X.Y.Z
1m 27s
Library management: support defaults-X.Y.Z files User Manual #2449: Pull request #8279 synchronize by gallais
1m 30s gallais:defaults-X.Y.Z
gallais:defaults-X.Y.Z
1m 30s
Literate forester without external tool User Manual #2448: Pull request #8290 synchronize by dannypsnl
1m 29s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
1m 29s
Literate forester without external tool User Manual #2447: Pull request #8290 synchronize by dannypsnl
6m 18s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
6m 18s
Literate forester without external tool User Manual #2446: Pull request #8290 synchronize by dannypsnl
1m 45s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
1m 45s
Literate forester without external tool User Manual #2445: Pull request #8290 synchronize by dannypsnl
1m 46s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
1m 46s
Literate forester without external tool User Manual #2444: Pull request #8290 synchronize by dannypsnl
1m 46s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
1m 46s
Literate forester without external tool User Manual #2443: Pull request #8290 synchronize by dannypsnl
1m 31s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
1m 31s
Literate forester without external tool User Manual #2442: Pull request #8290 synchronize by dannypsnl
6m 46s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
6m 46s
Literate forester without external tool User Manual #2441: Pull request #8290 opened by dannypsnl
1m 27s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
1m 27s
[workflows] Bump actions to latest (node-24) User Manual #2440: Commit bcaaf9e pushed by andreasabel
1m 39s master
master
1m 39s
[workflows] Bump actions to latest (node-24) User Manual #2439: Pull request #8289 opened by andreasabel
1m 39s node-24
node-24
1m 39s
Bump actions/upload-artifact from 5 to 6 User Manual #2438: Pull request #8285 opened by dependabot bot
1m 36s dependabot/github_actions/actions/upload-artifact-6
dependabot/github_actions/actions/upload-artifact-6
1m 36s
Qualified do and qualified idiom brackets User Manual #2437: Pull request #8280 synchronize by plt-amy
1m 30s aliao/qualified-sugar
aliao/qualified-sugar
1m 30s
Qualified do and qualified idiom brackets User Manual #2436: Pull request #8280 synchronize by plt-amy
1m 34s aliao/qualified-sugar
aliao/qualified-sugar
1m 34s
Qualified do and qualified idiom brackets User Manual #2435: Pull request #8280 opened by plt-amy
1m 38s aliao/qualified-sugar
aliao/qualified-sugar
1m 38s
Simplify "Installation" documentation (#8089) User Manual #2434: Commit a27db2a pushed by jespercockx
1m 35s master
master
1m 35s
Simplify "Installation" documentation User Manual #2433: Pull request #8089 synchronize by lawcho
1m 30s lawcho:simplify-install-doc
lawcho:simplify-install-doc
1m 30s
Simplify "Installation" documentation User Manual #2432: Pull request #8089 synchronize by lawcho
1m 2s lawcho:simplify-install-doc
lawcho:simplify-install-doc
1m 2s