Skip to content

Actions: stickyPiston/avea

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
68 workflow runs
68 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump version v0.3.0 Build and package extension #68: Commit 6f67a32 pushed by stickyPiston
32s main
main
32s
Add switch version command to readme Build and package extension #67: Commit 8519e38 pushed by stickyPiston
41s main
main
41s
Always add PATH's Agda in version list Build and package extension #66: Commit 7f32c08 pushed by stickyPiston
46s main
main
46s
Added switching of agda versions Build and package extension #65: Commit bbc4804 pushed by stickyPiston
34s main
main
34s
Bump to version v0.2.0 Build and package extension #64: Commit c6e34ff pushed by stickyPiston
39s main
main
39s
Replaced occurrences of agda-mode with avea Build and package extension #63: Commit 95aecf2 pushed by stickyPiston
44s main
main
44s
Replaced occurrences of agda-mode with avea Build and package extension #62: Commit b413df1 pushed by stickyPiston
44s main
main
44s
Use new ?-expansion in make case handler Build and package extension #61: Commit 405e3b7 pushed by stickyPiston
39s main
main
39s
Added put cursor in first new goal of give result Build and package extension #60: Commit ed2472f pushed by stickyPiston
32s main
main
32s
Fixed some bugs in the ?-expansion regexes Build and package extension #59: Commit 844621b pushed by stickyPiston
39s main
main
39s
Added manual search for question marks to expand Build and package extension #58: Commit e56db3e pushed by stickyPiston
33s main
main
33s
Added documentation for new data handling system Build and package extension #57: Commit d12d907 pushed by stickyPiston
36s main
main
36s
Added blocking initialisation phase for the data handler Build and package extension #56: Commit fd75de1 pushed by stickyPiston
33s main
main
33s
Added batching of Agda responses based on which interaction triggered… Build and package extension #55: Commit addc4e0 pushed by stickyPiston
32s main
main
32s
Changed range type in Token to Token.t Build and package extension #54: Commit fd1084b pushed by stickyPiston
32s main
main
32s
Added Show, Semigroup and Monoid type classes Build and package extension #53: Commit 1c94891 pushed by stickyPiston
29s main
main
29s
Split AgdaMode.Extension.Display into separate modules Build and package extension #52: Commit a2a1f7f pushed by stickyPiston
35s main
main
35s
Allowed escape and tab to exit input mode Build and package extension #51: Commit 4658d6d pushed by stickyPiston
35s main
main
35s
Changed the goal highlighting colour Build and package extension #50: Commit df779eb pushed by stickyPiston
34s main
main
34s
Added hover provider for tokens with notes Build and package extension #49: Commit 41382d1 pushed by stickyPiston
34s main
main
34s
Added warnings to error display info Build and package extension #48: Commit 376011d pushed by stickyPiston
33s main
main
33s
Fixed operator highlighting and added defaultLibrary modifier Build and package extension #47: Commit 02f2c69 pushed by stickyPiston
35s main
main
35s
Fixed missing ctrl+c ctrl+, implementation Build and package extension #46: Commit b11ce78 pushed by stickyPiston
37s main
main
37s
Added marketplace links to readme Build and package extension #45: Commit a6b153a pushed by stickyPiston
33s main
main
33s
Updated package name, publisher and description Build and package extension #44: Commit 0796b2c pushed by stickyPiston
30s main
main
30s