Skip to content

Actions: nelsonduarte/capa-language

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
610 workflow runs
610 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
examples: provenance_demo, user-defined Provenance capability codeql #188: Commit de51f9d pushed by nelsonduarte
1m 21s main
main
1m 21s
examples: provenance_demo, user-defined Provenance capability tests #200: Commit de51f9d pushed by nelsonduarte
1m 23s main
main
1m 23s
pages build and deployment pages-build-deployment #183: by nelsonduarte
44s main
main
44s
Analyzer: block-shadow check respects lambda function-scope boundary codeql #187: Commit b05adb4 pushed by nelsonduarte
1m 28s main
main
1m 28s
Analyzer: block-shadow check respects lambda function-scope boundary tests #199: Commit b05adb4 pushed by nelsonduarte
1m 12s main
main
1m 12s
pages build and deployment pages-build-deployment #182: by nelsonduarte
1m 2s main
main
1m 2s
Graph Update: pip in /. #1376384652 Dependency Graph #17: by dependabot Bot
46s main
main
46s
Bump version 1.0.0rc1 -> 1.0.0rc2 for v1.0.0-rc.2 release release-binaries #14: Commit 5436b26 pushed by nelsonduarte
1m 12s v1.0.0-rc.2
v1.0.0-rc.2
1m 12s
Bump version 1.0.0rc1 -> 1.0.0rc2 for v1.0.0-rc.2 release tests #198: Commit 5436b26 pushed by nelsonduarte
1m 33s main
main
1m 33s
Bump version 1.0.0rc1 -> 1.0.0rc2 for v1.0.0-rc.2 release codeql #186: Commit 5436b26 pushed by nelsonduarte
1m 26s main
main
1m 26s
pages build and deployment pages-build-deployment #181: by nelsonduarte
36s main
main
36s
Analyzer: reject block-scope shadowing of function-local bindings tests #197: Commit 294548a pushed by nelsonduarte
1m 22s main
main
1m 22s
Analyzer: reject block-scope shadowing of function-local bindings codeql #185: Commit 294548a pushed by nelsonduarte
1m 13s main
main
1m 13s
pages build and deployment pages-build-deployment #180: by nelsonduarte
45s main
main
45s
Analyzer: NLL-style precision for consume tracking around divergent b… codeql #184: Commit 08b6b31 pushed by nelsonduarte
1m 16s main
main
1m 16s
Analyzer: NLL-style precision for consume tracking around divergent b… tests #196: Commit 08b6b31 pushed by nelsonduarte
1m 15s main
main
1m 15s
pages build and deployment pages-build-deployment #179: by nelsonduarte
45s main
main
45s
Agda Stage 4: Manifest Completeness mechanised codeql #183: Commit 06571e2 pushed by nelsonduarte
1m 14s main
main
1m 14s
Agda Stage 4: Manifest Completeness mechanised agda #4: Commit 06571e2 pushed by nelsonduarte
20s main
main
20s
Agda Stage 4: Manifest Completeness mechanised tests #195: Commit 06571e2 pushed by nelsonduarte
2m 24s main
main
2m 24s
pages build and deployment pages-build-deployment #178: by nelsonduarte
1m 17s main
main
1m 17s
Agda Stage 3: Capability Soundness mechanised codeql #182: Commit 5d2c8b9 pushed by nelsonduarte
1m 23s main
main
1m 23s
Agda Stage 3: Capability Soundness mechanised tests #194: Commit 5d2c8b9 pushed by nelsonduarte
4m 37s main
main
4m 37s
Agda Stage 3: Capability Soundness mechanised agda #3: Commit 5d2c8b9 pushed by nelsonduarte
18s main
main
18s
pages build and deployment pages-build-deployment #177: by nelsonduarte
39s main
main
39s