Skip to content

Actions: alcides/aeon

Actions

Python application

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
python-app.yml
325 workflow runs
325 workflow runs

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
Fix aeon.synthesize command for pygls v2 Python application #623: Pull request #151 synchronize by alcides
18m 58s vc_simplication
vc_simplication
18m 58s
Merge branch 'master' of github.com:alcides/aeon into presentation_demos Python application #622: Commit c3e0c95 pushed by alcides
22m 12s master
master
22m 12s
Fix aeon.synthesize command registration for pygls v2 (#153) Python application #621: Commit 2ed4971 pushed by alcides
19m 44s master
master
19m 44s
Fix aeon.synthesize command registration for pygls v2 Python application #620: Pull request #153 opened by alcides
19m 31s presentation_demos
presentation_demos
19m 31s
Merge pull request #148 from alcides/Parametric-refinements-2.0 Python application #619: Commit f84c401 pushed by alcides
20m 0s master
master
20m 0s
Merge pull request #150 from alcides/dependabot/pip/pygls-2.1.0 Python application #618: Commit bc4b895 pushed by alcides
19m 40s master
master
19m 40s
Added examples from talk Python application #617: Commit 6f14871 pushed by alcides
19m 30s master
master
19m 30s
Bump version to 4.0.4b Python application #616: Commit 152a6e7 pushed by alcides
19m 43s master
master
19m 43s
Bump version to 4.0.3b Python application #615: Commit 11addbd pushed by alcides
19m 48s master
master
19m 48s
Parametric refinements 2.0 Python application #614: Pull request #148 synchronize by gabrielmfh
19m 45s Parametric-refinements-2.0
Parametric-refinements-2.0
19m 45s
Parametric refinements 2.0 Python application #613: Pull request #148 synchronize by gabrielmfh
20m 2s Parametric-refinements-2.0
Parametric-refinements-2.0
20m 2s
Parametric refinements 2.0 Python application #612: Pull request #148 synchronize by gabrielmfh
30s Parametric-refinements-2.0
Parametric-refinements-2.0
30s
Parametric refinements 2.0 Python application #611: Pull request #148 synchronize by gabrielmfh
30s Parametric-refinements-2.0
Parametric-refinements-2.0
30s
Parametric refinements 2.0 Python application #610: Pull request #148 synchronize by gabrielmfh
32s Parametric-refinements-2.0
Parametric-refinements-2.0
32s
Parametric refinements 2.0 Python application #609: Pull request #148 synchronize by gabrielmfh
31s Parametric-refinements-2.0
Parametric-refinements-2.0
31s
Parametric refinements 2.0 Python application #608: Pull request #148 synchronize by gabrielmfh
31s Parametric-refinements-2.0
Parametric-refinements-2.0
31s
Bump pygls from 2.0.1 to 2.1.0 Python application #607: Pull request #150 opened by dependabot bot
21m 12s dependabot/pip/pygls-2.1.0
dependabot/pip/pygls-2.1.0
21m 12s
Merge pull request #144 from alcides/fix/issue-89-enumerative-halts Python application #606: Commit 33253cd pushed by alcides
19m 55s master
master
19m 55s
Fix enumerative search halting before budget for refined types (issue #89) Python application #605: Pull request #144 synchronize by alcides
20m 38s fix/issue-89-enumerative-halts
fix/issue-89-enumerative-halts
20m 38s
Merge pull request #149 from alcides/lsp-synthesis-code-actions Python application #604: Commit 7ecbd81 pushed by alcides
20m 19s master
master
20m 19s
Add LSP code actions for hole synthesis Python application #603: Pull request #149 synchronize by alcides
21m 35s lsp-synthesis-code-actions
lsp-synthesis-code-actions
21m 35s
Add LSP code actions for hole synthesis Python application #602: Pull request #149 opened by alcides
3h 58m 3s lsp-synthesis-code-actions
lsp-synthesis-code-actions
3h 58m 3s
Parametric refinements 2.0 Python application #601: Pull request #148 opened by alcides
29s Parametric-refinements-2.0
Parametric-refinements-2.0
29s
Add Backend LLVM Code Gen Support Python application #600: Pull request #141 synchronize by SousaTrashBin
21m 52s add_gpu_support
add_gpu_support
21m 52s
Add Backend LLVM Code Gen Support Python application #599: Pull request #141 synchronize by SousaTrashBin
34s add_gpu_support
add_gpu_support
34s