| workflow "Demo workflow" { | |
| on = "push" | |
| resolves = ["SNS Notification"] | |
| } | |
| action "Build Image" { | |
| uses = "actions/docker/cli@c08a5fc9e0286844156fefff2c141072048141f6" | |
| runs = ["/bin/sh", "-c", "docker build -t $IMAGE_URI ."] | |
| env = { | |
| IMAGE_URI = "xxxxxxxx.dkr.ecr.ap-northeast-1.amazonaws.com/github-action-demo:latest" |
| license: gpl-3.0 |
Benchmarks on a osx 10.8.5 with 2.7 Ghz Intel Core i7
Redis is 6 times faster than pulsar on python 3.3, but only 2.2 times faster than pulsar on pypy.
Impressive pypy!
| license: gpl-3.0 |
Shapefile source: http://www.istat.it/it/archivio/24613
Convert shapefile to geojson, s_srs defines the input projection, t_srs defines the output projection to the EPSG code 4326 (http://spatialreference.org/ref/epsg/4326/) see also http://www.gdal.org/ogr2ogr.html
ogr2ogr -f GeoJSON -s_srs prov2011_g.prj -t_srs EPSG:4326 sub.json prov2011_g.shp