Skip to content

Actions: technique-lang/technique

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
243 workflow runs
243 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
Fix duplicate invocations Check #168: Pull request #117 opened by istathar
50s istathar:fix-duplication
istathar:fix-duplication
50s
Improve comprehension for running Techniques Check #167: Pull request #116 opened by istathar
54s istathar:improve-comprehension
istathar:improve-comprehension
54s
Support placeholder holes and prompt for implicit values when needed Check #166: Pull request #115 synchronize by istathar
21s istathar:more-ui-tweaks
istathar:more-ui-tweaks
21s
Support placeholder holes and prompt for implicit values when needed Check #165: Pull request #115 opened by istathar
1m 0s istathar:more-ui-tweaks
istathar:more-ui-tweaks
1m 0s
Integration test for runner Check #164: Pull request #114 synchronize by istathar
27s istathar:integration-test-runner
istathar:integration-test-runner
27s
Integration test for runner Check #163: Pull request #114 synchronize by istathar
15s istathar:integration-test-runner
istathar:integration-test-runner
15s
Integration test for runner Check #162: Pull request #114 opened by istathar
52s istathar:integration-test-runner
istathar:integration-test-runner
52s
Fix descent display Check #161: Pull request #113 synchronize by istathar
21s istathar:improve-descent
istathar:improve-descent
21s
Fix descent display Check #160: Pull request #113 opened by istathar
39s istathar:improve-descent
istathar:improve-descent
39s
Defer external invocation targets in translation Check #159: Pull request #111 synchronize by istathar
45s istathar:defer-remote
istathar:defer-remote
45s
Refine console output Check #158: Pull request #112 synchronize by istathar
20s istathar:refine-console-output
istathar:refine-console-output
20s
Refine console output Check #157: Pull request #112 synchronize by istathar
17s istathar:refine-console-output
istathar:refine-console-output
17s
Refine console output Check #156: Pull request #112 opened by istathar
45s istathar:refine-console-output
istathar:refine-console-output
45s
Defer external invocation targets in translation Check #155: Pull request #111 opened by istathar
37s istathar:defer-remote
istathar:defer-remote
37s
Dynamic user interface Check #154: Pull request #110 opened by istathar
50s istathar:run-7
istathar:run-7
50s
Define core and sytems builtin functions Check #153: Pull request #109 synchronize by istathar
32s istathar:run-6
istathar:run-6
32s
Define core and sytems builtin functions Check #152: Pull request #109 opened by istathar
46s istathar:run-6
istathar:run-6
46s
Introduce linking phase to compiler Check #151: Pull request #108 synchronize by istathar
22s istathar:run-5
istathar:run-5
22s
Introduce linking phase to compiler Check #150: Pull request #108 synchronize by istathar
48s istathar:run-5
istathar:run-5
48s
Introduce linking phase to compiler Check #149: Pull request #108 opened by istathar
44s istathar:run-5
istathar:run-5
44s
Implement evaluation of foreach and repeat keywords Check #148: Pull request #106 synchronize by istathar
26s istathar:run-4
istathar:run-4
26s
Implement Lists of values Check #147: Pull request #107 opened by istathar
43s istathar:implement-lists
istathar:implement-lists
43s
Implement evaluation of foreach and repeat keywords Check #146: Pull request #106 synchronize by istathar
24s istathar:run-4
istathar:run-4
24s
Implement evaluation of foreach and repeat keywords Check #145: Pull request #106 opened by istathar
47s istathar:run-4
istathar:run-4
47s
Specify page size when rendering Check #144: Pull request #105 synchronize by istathar
23s istathar:pagesize
istathar:pagesize
23s