seL4/ci-actions | GitHub | Ecosyste.ms: Repos

Loading...

Readme

Loading...

pr-queue/package.json npm

@actions/core ^1.9.1
@actions/github ^4.0.0

.github/workflows/deploy-camkes-unit.yml actions

.github/workflows/deploy-camkes-vm.yml actions

.github/workflows/deploy-cparser-builder.yml actions

docker/build-push-action v3 composite
docker/login-action v2 composite
docker/setup-buildx-action v2 composite
peter-evans/repository-dispatch v2 composite

.github/workflows/deploy-cparser-run.yml actions

.github/workflows/deploy-link-check.yml actions

.github/workflows/deploy-preprocess.yml actions

.github/workflows/deploy-rumprun.yml actions

.github/workflows/deploy-run-proofs.yml actions

.github/workflows/deploy-sel4bench.yml actions

.github/workflows/deploy-sel4test-hw.yml actions

.github/workflows/deploy-sel4test-sim.yml actions

.github/workflows/deploy-tutorials.yml actions

.github/workflows/deploy-webserver.yml actions

.github/workflows/isabelle-mirror.yml actions

seL4/ci-actions/isabelle-mirror master composite

.github/workflows/pr.yml actions

seL4/ci-actions/bashisms master composite
seL4/ci-actions/git-diff-check master composite
seL4/ci-actions/gitlint master composite

.github/workflows/push.yml actions

seL4/ci-actions/license-check master composite
seL4/ci-actions/link-check master composite
seL4/ci-actions/style master composite

aws-proofs/action.yml actions

../js/index.js node16 javascript

bashisms/action.yml actions

../js/index.js node16 javascript

camkes-hw/action.yml actions

../js/index.js node16 javascript

camkes-test/action.yml actions

docker://sel4/camkes-test latest docker

camkes-unit/action.yml actions

docker://sel4/camkes-unit latest docker

camkes-vm/action.yml actions

docker://sel4/camkes-vm latest docker

camkes-vm-hw/action.yml actions

../js/index.js node16 javascript

cparser-run/action.yml actions

docker://sel4/cparser-run latest docker

git-diff-check/action.yml actions

../js/index.js node16 javascript

gitlint/action.yml actions

../js/index.js node16 javascript

isabelle-mirror/action.yml actions

../js/index.js node16 javascript

l4v-deploy/action.yml actions

../js/index.js node16 javascript

license-check/action.yml actions

../js/index.js node16 javascript

link-check/action.yml actions

docker://sel4/link-check latest docker

manifest-deploy/action.yml actions

../js/index.js node16 javascript

march-of-platform/action.yml actions

../js/index.js node16 javascript

pr-queue/action.yml actions

index.js node12 javascript

preprocess/action.yml actions

docker://sel4/preprocess latest docker

repo-checkout/action.yml actions

../js/index.js node16 javascript

rump-hello/action.yml actions

docker://sel4/rump-hello latest docker

rump-hello-hw/action.yml actions

../js/index.js node16 javascript

run-proofs/action.yml actions

docker://sel4/run-proofs latest docker

seL4-manual/action.yml actions

docker://sel4/sel4-manual latest docker

sel4bench/action.yml actions

docker://sel4/sel4bench latest docker

sel4bench-hw/action.yml actions

../js/index.js node16 javascript

sel4bench-web/action.yml actions

../js/index.js node16 javascript

sel4test-hw/action.yml actions

docker://sel4/sel4test-hw latest docker

sel4test-hw-matrix/action.yml actions

../js/index.js node16 javascript

sel4test-hw-run/action.yml actions

../js/index.js node16 javascript

sel4test-sim/action.yml actions

docker://sel4/sel4test-sim latest docker

standalone-kernel/action.yml actions

Dockerfile * docker

style/action.yml actions

../js/index.js node16 javascript

trigger/action.yml actions

../js/index.js node16 javascript

tutorials/action.yml actions

docker://sel4/tutorials latest docker

webserver/action.yml actions

docker://sel4/webserver latest docker

webserver-hw/action.yml actions

../js/index.js node16 javascript

camkes-test/Dockerfile docker

trustworthysystems/camkes-cakeml-cogent-rust latest build

camkes-unit/Dockerfile docker

trustworthysystems/camkes latest build

camkes-vm/Dockerfile docker

trustworthysystems/camkes latest build

cparser-run/Dockerfile docker

trustworthysystems/sel4 latest build

link-check/Dockerfile docker

sel4/liche f57a5d1c5 build

preprocess/Dockerfile docker

trustworthysystems/sel4 latest build

rump-hello/Dockerfile docker

trustworthysystems/camkes latest build

run-proofs/Dockerfile docker

trustworthysystems/l4v latest build

seL4-manual/Dockerfile docker

trustworthysystems/sel4 latest build

sel4bench/Dockerfile docker

trustworthysystems/sel4 latest build

sel4test-hw/Dockerfile docker

trustworthysystems/sel4 latest build

sel4test-sim/Dockerfile docker

trustworthysystems/sel4 latest build

standalone-kernel/Dockerfile docker

trustworthysystems/sel4 latest build

tutorials/Dockerfile docker

trustworthysystems/camkes latest build

webserver/Dockerfile docker

trustworthysystems/camkes latest build

js/node_modules/@actions/core/package.json npm

@types/node ^12.0.2 development
@types/uuid ^8.3.4 development
@actions/http-client ^2.0.1
uuid ^8.3.2

js/node_modules/@actions/exec/package.json npm

@actions/io ^1.0.1

js/node_modules/@actions/http-client/package.json npm

@types/tunnel 0.0.3 development
proxy ^1.0.1 development
tunnel ^0.0.6

js/node_modules/tunnel/package.json npm

mocha ^5.2.0 development
should ^13.2.3 development

js/node_modules/uuid/package.json npm

@babel/cli 7.11.6 development
@babel/core 7.11.6 development
@babel/preset-env 7.11.5 development
@commitlint/cli 11.0.0 development
@commitlint/config-conventional 11.0.0 development
@rollup/plugin-node-resolve 9.0.0 development
babel-eslint 10.1.0 development
bundlewatch 0.3.1 development
eslint 7.10.0 development
eslint-config-prettier 6.12.0 development
eslint-config-standard 14.1.1 development
eslint-plugin-import 2.22.1 development
eslint-plugin-node 11.1.0 development
eslint-plugin-prettier 3.1.4 development
eslint-plugin-promise 4.2.1 development
eslint-plugin-standard 4.0.1 development
husky 4.3.0 development
jest 25.5.4 development
lint-staged 10.4.0 development
npm-run-all 4.1.5 development
optional-dev-dependency 2.0.1 development
prettier 2.1.2 development
random-seed 0.3.0 development
rollup 2.28.2 development
rollup-plugin-terser 7.0.2 development
runmd 1.3.2 development
standard-version 9.0.0 development

pr-queue/node_modules/wrappy/package.json npm

tap ^2.3.1 development

.github/workflows/deploy-camkes-test.yml actions

js/package.json npm

@actions/core ^1.10.0
@actions/exec ^1.1.1

pr-queue/node_modules/@actions/core/package.json npm

@types/node ^12.0.2 development

pr-queue/node_modules/@actions/github/package.json npm

jest ^25.1.0 development
proxy ^1.0.1 development
@actions/http-client ^1.0.8
@octokit/core ^3.0.0
@octokit/plugin-paginate-rest ^2.2.3
@octokit/plugin-rest-endpoint-methods ^4.0.0

pr-queue/node_modules/@actions/http-client/package.json npm

@types/jest ^25.1.4 development
@types/node ^12.12.31 development
jest ^25.1.0 development
prettier ^2.0.4 development
proxy ^1.0.1 development
ts-jest ^25.2.1 development
typescript ^3.8.3 development
tunnel 0.0.6

pr-queue/node_modules/@octokit/auth-token/package.json npm

@octokit/core ^3.0.0 development
@octokit/request ^5.3.0 development
@pika/pack ^0.5.0 development
@pika/plugin-build-node ^0.9.0 development
@pika/plugin-build-web ^0.9.0 development
@pika/plugin-ts-standard-pkg ^0.9.0 development
@types/fetch-mock ^7.3.1 development
@types/jest ^26.0.0 development
fetch-mock ^9.0.0 development
jest ^26.0.0 development
semantic-release ^17.0.0 development
ts-jest ^26.0.0 development
typescript ^4.0.0 development
@octokit/types ^6.0.3

pr-queue/node_modules/@octokit/core/package.json npm

@octokit/auth ^3.0.1 development
@pika/pack ^0.5.0 development
@pika/plugin-build-node ^0.9.0 development
@pika/plugin-build-web ^0.9.0 development
@pika/plugin-ts-standard-pkg ^0.9.0 development
@types/fetch-mock ^7.3.1 development
@types/jest ^26.0.0 development
@types/lolex ^5.1.0 development
@types/node ^14.0.4 development
@types/node-fetch ^2.5.0 development
fetch-mock ^9.0.0 development
http-proxy-agent ^4.0.1 development
jest ^26.1.0 development
lolex ^6.0.0 development
prettier ^2.0.4 development
proxy ^1.0.1 development
semantic-release ^17.0.0 development
semantic-release-plugin-update-version-in-files ^1.0.0 development
ts-jest ^26.1.3 development
typescript ^4.0.2 development
@octokit/auth-token ^2.4.4
@octokit/graphql ^4.5.8
@octokit/request ^5.4.12
@octokit/types ^6.0.3
before-after-hook ^2.1.0
universal-user-agent ^6.0.0

pr-queue/node_modules/@octokit/endpoint/package.json npm

@pika/pack ^0.5.0 development
@pika/plugin-build-node ^0.9.0 development
@pika/plugin-build-web ^0.9.0 development
@pika/plugin-ts-standard-pkg ^0.9.0 development
@types/jest ^26.0.0 development
jest ^26.0.1 development
prettier 2.2.1 development
semantic-release ^17.0.0 development
semantic-release-plugin-update-version-in-files ^1.0.0 development
ts-jest ^26.0.0 development
typescript ^4.0.2 development
@octokit/types ^6.0.3
is-plain-object ^5.0.0
universal-user-agent ^6.0.0

pr-queue/node_modules/@octokit/graphql/package.json npm

@pika/pack ^0.5.0 development
@pika/plugin-build-node ^0.9.0 development
@pika/plugin-build-web ^0.9.0 development
@pika/plugin-ts-standard-pkg ^0.9.0 development
@types/fetch-mock ^7.2.5 development
@types/jest ^26.0.0 development
@types/node ^14.0.4 development
fetch-mock ^9.0.0 development
jest ^26.0.0 development
prettier ^2.0.0 development
semantic-release ^17.0.0 development
semantic-release-plugin-update-version-in-files ^1.0.0 development
ts-jest ^26.0.0 development
typescript ^4.0.0 development
@octokit/request ^5.3.0
@octokit/types ^6.0.3
universal-user-agent ^6.0.0

pr-queue/node_modules/@octokit/openapi-types/package.json npm

@octokit/tsconfig ^1.0.2 development
@pika/pack ^0.5.0 development
@pika/plugin-build-node ^0.9.2 development
@pika/plugin-build-web ^0.9.2 development
@pika/plugin-ts-standard-pkg ^0.9.2 development
openapi-typescript ^3.0.0 development
pika-plugin-merge-properties ^1.0.6 development
semantic-release-plugin-update-version-in-files ^1.1.0 development
typescript ^4.1.5 development

pr-queue/node_modules/@octokit/plugin-paginate-rest/package.json npm

@octokit/core ^3.0.0 development
@octokit/plugin-rest-endpoint-methods ^4.0.0 development
@pika/pack ^0.5.0 development
@pika/plugin-build-node ^0.9.0 development
@pika/plugin-build-web ^0.9.0 development
@pika/plugin-ts-standard-pkg ^0.9.0 development
@types/fetch-mock ^7.3.1 development
@types/jest ^26.0.0 development
@types/node ^14.0.4 development
fetch-mock ^9.0.0 development
jest ^26.0.1 development
npm-run-all ^4.1.5 development
prettier ^2.0.4 development
semantic-release ^17.0.0 development
semantic-release-plugin-update-version-in-files ^1.0.0 development
ts-jest ^26.0.0 development
typescript ^4.0.2 development
@octokit/types ^6.10.0

pr-queue/node_modules/@octokit/plugin-rest-endpoint-methods/package.json npm

@gimenete/type-writer ^0.1.5 development
@octokit/core ^3.0.0 development
@octokit/graphql ^4.3.1 development
@pika/pack ^0.5.0 development
@pika/plugin-build-node ^0.9.0 development
@pika/plugin-build-web ^0.9.0 development
@pika/plugin-ts-standard-pkg ^0.9.0 development
@types/fetch-mock ^7.3.1 development
@types/jest ^26.0.0 development
@types/node ^14.0.4 development
fetch-mock ^9.0.0 development
fs-extra ^9.0.0 development
jest ^26.1.0 development
lodash.camelcase ^4.3.0 development
lodash.set ^4.3.2 development
lodash.upperfirst ^4.3.1 development
mustache ^4.0.0 development
npm-run-all ^4.1.5 development
prettier ^2.0.1 development
semantic-release ^17.0.0 development
semantic-release-plugin-update-version-in-files ^1.0.0 development
sort-keys ^4.0.0 development
string-to-jsdoc-comment ^1.0.0 development
ts-jest ^26.1.3 development
typescript ^4.0.2 development
@octokit/types ^6.10.1
deprecation ^2.3.1

pr-queue/node_modules/@octokit/request/package.json npm

@octokit/auth-app ^2.1.2 development
@pika/pack ^0.5.0 development
@pika/plugin-build-node ^0.9.0 development
@pika/plugin-build-web ^0.9.0 development
@pika/plugin-ts-standard-pkg ^0.9.0 development
@types/fetch-mock ^7.2.4 development
@types/jest ^26.0.0 development
@types/lolex ^5.1.0 development
@types/node ^14.0.0 development
@types/node-fetch ^2.3.3 development
@types/once ^1.4.0 development
fetch-mock ^9.3.1 development
jest ^26.0.1 development
lolex ^6.0.0 development
prettier ^2.0.1 development
semantic-release ^17.0.0 development
semantic-release-plugin-update-version-in-files ^1.0.0 development
ts-jest ^26.1.0 development
typescript ^4.0.2 development
@octokit/endpoint ^6.0.1
@octokit/request-error ^2.0.0
@octokit/types ^6.7.1
deprecation ^2.0.0
is-plain-object ^5.0.0
node-fetch ^2.6.1
once ^1.4.0
universal-user-agent ^6.0.0

pr-queue/node_modules/@octokit/request-error/package.json npm

@pika/pack ^0.5.0 development
@pika/plugin-build-node ^0.9.0 development
@pika/plugin-build-web ^0.9.0 development
@pika/plugin-bundle-web ^0.9.0 development
@pika/plugin-ts-standard-pkg ^0.9.0 development
@types/jest ^26.0.0 development
@types/node ^14.0.4 development
@types/once ^1.4.0 development
jest ^26.0.0 development
pika-plugin-unpkg-field ^1.1.0 development
prettier ^2.0.1 development
semantic-release ^17.0.0 development
ts-jest ^26.0.0 development
typescript ^4.0.0 development
@octokit/types ^6.0.3
deprecation ^2.0.0
once ^1.4.0

pr-queue/node_modules/@octokit/types/package.json npm

@octokit/graphql ^4.2.2 development
@pika/pack ^0.5.0 development
@pika/plugin-build-node ^0.9.0 development
@pika/plugin-build-web ^0.9.0 development
@pika/plugin-ts-standard-pkg ^0.9.0 development
@types/node >= 8 development
handlebars ^4.7.6 development
json-schema-to-typescript ^10.0.0 development
lodash.set ^4.3.2 development
npm-run-all ^4.1.5 development
pascal-case ^3.1.1 development
pika-plugin-merge-properties ^1.0.6 development
prettier ^2.0.0 development
semantic-release ^17.0.0 development
semantic-release-plugin-update-version-in-files ^1.0.0 development
sort-keys ^4.0.0 development
string-to-jsdoc-comment ^1.0.0 development
typedoc ^0.20.0 development
typescript ^4.0.2 development
@octokit/openapi-types ^5.1.0

pr-queue/node_modules/before-after-hook/package.json npm

browserify ^16.0.0 development
gaze-cli ^0.2.0 development
istanbul ^0.4.0 development
istanbul-coveralls ^1.0.3 development
mkdirp ^1.0.3 development
prettier ^2.0.0 development
rimraf ^3.0.0 development
semantic-release ^17.0.0 development
simple-mock ^0.8.0 development
tap-min ^2.0.0 development
tap-spec ^5.0.0 development
tape ^5.0.0 development
typescript ^3.5.3 development
uglify-js ^3.9.0 development

pr-queue/node_modules/deprecation/package.json npm

@pika/pack ^0.3.7 development
@pika/plugin-build-node ^0.4.0 development
@pika/plugin-build-types ^0.4.0 development
@pika/plugin-build-web ^0.4.0 development
@pika/plugin-standard-pkg ^0.4.0 development
semantic-release ^15.13.3 development

pr-queue/node_modules/is-plain-object/package.json npm

chai ^4.2.0 development
esm ^3.2.22 development
gulp-format-md ^1.0.0 development
mocha ^6.1.4 development
mocha-headless-chrome ^3.1.0 development
rollup ^2.22.1 development

pr-queue/node_modules/node-fetch/package.json npm

@ungap/url-search-params ^0.1.2 development
abort-controller ^1.1.0 development
abortcontroller-polyfill ^1.3.0 development
babel-core ^6.26.3 development
babel-plugin-istanbul ^4.1.6 development
babel-preset-env ^1.6.1 development
babel-register ^6.16.3 development
chai ^3.5.0 development
chai-as-promised ^7.1.1 development
chai-iterator ^1.1.1 development
chai-string ~1.3.0 development
codecov ^3.3.0 development
cross-env ^5.2.0 development
form-data ^2.3.3 development
is-builtin-module ^1.0.0 development
mocha ^5.0.0 development
nyc 11.9.0 development
parted ^0.1.1 development
promise ^8.0.3 development
resumer 0.0.0 development
rollup ^0.63.4 development
rollup-plugin-babel ^3.0.7 development
string-to-arraybuffer ^1.0.2 development
whatwg-url ^5.0.0 development

pr-queue/node_modules/once/package.json npm

tap ^7.0.1 development
wrappy 1

pr-queue/node_modules/tunnel/package.json npm

mocha ^5.2.0 development
should ^13.2.3 development

pr-queue/node_modules/universal-user-agent/package.json npm

@gr2m/pika-plugin-build-web ^0.6.0-issue-84.1 development
@pika/pack ^0.5.0 development
@pika/plugin-build-node ^0.9.1 development
@pika/plugin-ts-standard-pkg ^0.9.1 development
@types/jest ^25.1.0 development
jest ^24.9.0 development
prettier ^2.0.0 development
semantic-release ^17.0.5 development
ts-jest ^26.0.0 development
typescript ^3.6.2 development

js/package-lock.json npm

@actions/core 1.10.0
@actions/exec 1.1.1
@actions/http-client 2.0.1
@actions/io 1.1.2
tunnel 0.0.6
uuid 8.3.2

pr-queue/package-lock.json npm

@actions/core 1.9.1
@actions/github 4.0.0
@actions/http-client 2.0.1
@actions/http-client 1.0.9
@octokit/auth-token 2.4.5
@octokit/core 3.2.5
@octokit/endpoint 6.0.11
@octokit/graphql 4.6.0
@octokit/openapi-types 5.1.1
@octokit/plugin-paginate-rest 2.10.0
@octokit/plugin-rest-endpoint-methods 4.12.2
@octokit/request 5.4.14
@octokit/request-error 2.0.5
@octokit/types 6.10.1
before-after-hook 2.1.1
deprecation 2.3.1
is-plain-object 5.0.0
node-fetch 2.6.7
once 1.4.0
tr46 0.0.3
tunnel 0.0.6
universal-user-agent 6.0.0
uuid 8.3.2
webidl-conversions 3.0.1
whatwg-url 5.0.0
wrappy 1.0.2

Ecosyste.ms: Repos

GitHub / seL4 / ci-actions

Files

Dependencies