issues
search
ccfontes
/
faas-idris2
An OpenFaaS template for writing Functions in Idris 2.
MIT License
2
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Hadolint ignore=DL3006
#33
ccfontes
closed
1 year ago
0
Hadolint fixes
#32
ccfontes
closed
1 year ago
0
Add gh Actions workflow: Hadolint
#31
ccfontes
closed
1 year ago
0
Update faas_fn_build_invoke.yml
#30
ccfontes
closed
1 year ago
0
Add license badge
#29
ccfontes
closed
1 year ago
0
Improve readme specs
#28
ccfontes
closed
1 year ago
0
rm unused (wouldn't work) lib support for racket
#27
ccfontes
closed
1 year ago
0
Simplify codegen config w/ one codegen entry
#26
ccfontes
closed
1 year ago
0
Add hello world benchmarks
#25
ccfontes
opened
1 year ago
0
Support chez libraries
#24
ccfontes
opened
1 year ago
0
User to pass codegen only in one place
#23
ccfontes
closed
1 year ago
1
Support Racket codegen w/ hello world Fn example
#22
ccfontes
closed
1 year ago
0
Support racket libraries
#21
ccfontes
opened
1 year ago
0
COPY racket dist from docker img is insufficient
#20
ccfontes
opened
1 year ago
2
Run fn as non root user
#19
ccfontes
closed
1 year ago
0
rm glob node_modules from Dockerfile
#18
ccfontes
closed
1 year ago
0
Refine production expectations
#17
ccfontes
closed
1 year ago
0
rm dup readme heading
#16
ccfontes
closed
1 year ago
0
Add Github Actions badge
#15
ccfontes
closed
1 year ago
0
Support Racket codegen
#14
ccfontes
closed
1 year ago
0
Support JVM codegen
#13
ccfontes
opened
1 year ago
0
Refine template's Dockerfile
#12
ccfontes
closed
1 year ago
0
CI tests to pull template from current branch
#11
ccfontes
closed
1 year ago
0
CI tests should use faas template from branch being tested
#10
ccfontes
closed
1 year ago
0
Fix Dockerfile using COPY to use forward slash in target dir
#9
ccfontes
closed
1 year ago
0
Support node codegen
#8
ccfontes
closed
1 year ago
0
Add Node Function tests
#7
ccfontes
closed
1 year ago
0
Conditionally install code generator tools depending on selected pack codegen
#6
ccfontes
closed
1 year ago
1
Support other Idris 2 code generators
#5
ccfontes
closed
1 year ago
1
Run Function as non-root user
#4
ccfontes
closed
1 year ago
0
Improve (and fix) e2e tests in CI
#3
ccfontes
closed
1 year ago
0
Fix Fn lang in examples stack.yml
#2
ccfontes
closed
1 year ago
0
Rename docs template url
#1
ccfontes
closed
1 year ago
0