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

#8337: Look for instance fields in eta records under binders User Manual #2520: Pull request #8338 synchronize by Soares
1m 47s Soares:instance-fields
Soares:instance-fields
1m 47s
#8337: Look for instance fields in eta records under binders User Manual #2519: Pull request #8338 synchronize by Soares
1m 44s Soares:instance-fields
Soares:instance-fields
1m 44s
#8337: Look for instance fields in eta records under binders User Manual #2518: Pull request #8338 synchronize by Soares
1m 44s Soares:instance-fields
Soares:instance-fields
1m 44s
New Warning to Fix #5929 User Manual #2517: Pull request #8238 synchronize by NathanielB123
1m 41s NathanielB123:rewrite-sing
NathanielB123:rewrite-sing
1m 41s
New Warning to Fix #5929 User Manual #2516: Pull request #8238 synchronize by NathanielB123
1m 33s NathanielB123:rewrite-sing
NathanielB123:rewrite-sing
1m 33s
New Warning to Fix #5929 User Manual #2515: Pull request #8238 synchronize by NathanielB123
6m 23s NathanielB123:rewrite-sing
NathanielB123:rewrite-sing
6m 23s
New Warning to Fix #5929 User Manual #2514: Pull request #8238 synchronize by NathanielB123
4m 1s NathanielB123:rewrite-sing
NathanielB123:rewrite-sing
4m 1s
New Warning to Fix #5929 User Manual #2513: Pull request #8238 synchronize by NathanielB123
5m 44s NathanielB123:rewrite-sing
NathanielB123:rewrite-sing
5m 44s
New Warning to Fix #5929 User Manual #2512: Pull request #8238 synchronize by NathanielB123
4m 23s NathanielB123:rewrite-sing
NathanielB123:rewrite-sing
4m 23s
New Warning to Fix #5929 User Manual #2511: Pull request #8238 synchronize by NathanielB123
1m 21s NathanielB123:rewrite-sing
NathanielB123:rewrite-sing
1m 21s
New Warning to Fix #5929 User Manual #2510: Pull request #8238 synchronize by NathanielB123
1m 48s NathanielB123:rewrite-sing
NathanielB123:rewrite-sing
1m 48s
#8337: Look for instance fields in eta records under binders User Manual #2509: Pull request #8338 synchronize by Soares
1m 51s Soares:instance-fields
Soares:instance-fields
1m 51s
#8337: Look for instance fields in eta records under binders User Manual #2508: Pull request #8338 synchronize by Soares
1m 48s Soares:instance-fields
Soares:instance-fields
1m 48s
#8337: Look for instance fields in eta records under binders User Manual #2507: Pull request #8338 synchronize by Soares
1m 32s Soares:instance-fields
Soares:instance-fields
1m 32s
#8337: Look for instance fields in eta records under binders User Manual #2506: Pull request #8338 synchronize by Soares
1m 58s Soares:instance-fields
Soares:instance-fields
1m 58s
#8337: Look for instance fields in eta records under binders User Manual #2505: Pull request #8338 synchronize by Soares
1m 42s Soares:instance-fields
Soares:instance-fields
1m 42s
#8337: Look for instance fields in eta records under binders User Manual #2504: Pull request #8338 synchronize by Soares
1m 43s Soares:instance-fields
Soares:instance-fields
1m 43s
Type check in parallel (#8332) User Manual #2503: Commit 3deea50 pushed by plt-amy
1m 45s master
master
1m 45s
Type check in parallel User Manual #2502: Pull request #8332 synchronize by plt-amy
8m 59s aliao/parallel
aliao/parallel
8m 59s
Type check in parallel User Manual #2501: Pull request #8332 synchronize by plt-amy
1m 36s aliao/parallel
aliao/parallel
1m 36s
Xref support for Agda2-mode User Manual #2500: Pull request #8181 synchronize by phikal
1m 49s phikal:emacs/xref
phikal:emacs/xref
1m 49s
[ doc ] Add link to Let's Play Agda to tutorials User Manual #2499: Commit e588dda pushed by jespercockx
1m 42s master
master
1m 42s
Type check in parallel User Manual #2498: Pull request #8332 synchronize by plt-amy
1m 39s aliao/parallel
aliao/parallel
1m 39s
Type check in parallel User Manual #2497: Pull request #8332 synchronize by plt-amy
1m 37s aliao/parallel
aliao/parallel
1m 37s
Type check in parallel User Manual #2496: Pull request #8332 synchronize by plt-amy
1m 42s aliao/parallel
aliao/parallel
1m 42s