Skip to content

Actions: horacehoff/keel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 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
Anonymous functions' arguments can now be typed and functions can be Cargo Build & Test #10: Commit 213d062 pushed by horacehoff
1m 28s main
main
1m 28s
Anonymous functions and higher-order functions are finally here! Much Cargo Build & Test #9: Commit 737b9a9 pushed by horacehoff
56s main
main
56s
WASM fix (again...) Cargo Build & Test #8: Commit 44ffc52 pushed by horacehoff
1m 27s main
main
1m 27s
Simplified and optimized the core FFI Vm logic Cargo Build & Test #7: Commit 47044f1 pushed by horacehoff
51s main
main
51s
Deduplicated the Data string functions Cargo Build & Test #6: Commit 8b7907c pushed by horacehoff
44s main
main
44s
Simplified and optimized the entire FFI logic in the VM & updated Cargo Build & Test #5: Commit 750cbd0 pushed by horacehoff
48s main
main
48s
WASM fix Cargo Build & Test #4: Commit 97d1d72 pushed by horacehoff
8m 35s main
main
8m 35s
Implemented (very) experimental struct FFI support (both as argument and Cargo Build & Test #3: Commit eeee7b7 pushed by horacehoff
1m 5s main
main
1m 5s
Added CI workflow (forgot to add it in the previous commit) Cargo Build & Test #1: Commit e15ca48 pushed by horacehoff
51s main
main
51s
Fixed Windows dylib LTO compilation Release #13: Commit dd5e47b pushed by horacehoff
4m 43s v0.3.0
v0.3.0
4m 43s
Keel 0.3.0 !! Check out the changelog! Release #12: Commit 7668c15 pushed by horacehoff
51s v0.3.0
v0.3.0
51s
Fixed install script (again!!!) & added dyn lib steps to the release Release #11: Commit a9163de pushed by horacehoff
6m 21s v0.2.0
v0.2.0
6m 21s
Keel v0.1.6 Release #5: Commit bea35d6 pushed by horacehoff
3m 45s v0.1.6
v0.1.6
3m 45s
0.1.5 - Fixed many bugs, optimized the parser&vm, added tests Release #4: Commit 23aabe8 pushed by horacehoff
3m 48s v0.1.5
v0.1.5
3m 48s