Skip to content

Actions: technique-lang/technique

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
249 workflow runs
249 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 recording of array values Check #232: Pull request #149 synchronize by istathar
21s istathar:fix-run-array
istathar:fix-run-array
21s
Fix recording of array values Check #231: Pull request #149 synchronize by istathar
26s istathar:fix-run-array
istathar:fix-run-array
26s
Fix recording of array values Check #230: Pull request #149 synchronize by istathar
35s istathar:fix-run-array
istathar:fix-run-array
35s
Fix recording of array values Check #229: Pull request #149 opened by istathar
57s istathar:fix-run-array
istathar:fix-run-array
57s
Output log trace of a run to console Check #228: Pull request #148 synchronize by istathar
34s istathar:print-log
istathar:print-log
34s
Output log trace of a run to console Check #227: Pull request #148 synchronize by istathar
54s istathar:print-log
istathar:print-log
54s
Output log trace of a run to console Check #226: Pull request #148 opened by istathar
43s istathar:print-log
istathar:print-log
43s
Refine procedure declaration checks Check #225: Pull request #147 synchronize by istathar
30s istathar:error-improvement
istathar:error-improvement
30s
Refine procedure declaration checks Check #224: Pull request #147 synchronize by istathar
34s istathar:error-improvement
istathar:error-improvement
34s
Refine procedure declaration checks Check #223: Pull request #147 synchronize by istathar
51s istathar:error-improvement
istathar:error-improvement
51s
Refine procedure declaration checks Check #222: Pull request #147 opened by istathar
1m 0s istathar:error-improvement
istathar:error-improvement
1m 0s
Improve Parsing Correctness Release #18: Release v0.7.0 published by istathar
3m 32s
3m 32s
Parse required Technique version from magic header line Check #221: Pull request #146 opened by istathar
1m 1s istathar:version-magic
istathar:version-magic
1m 1s
Remove response conditions Check #220: Pull request #145 synchronize by istathar
35s istathar:remove-response-conditions
istathar:remove-response-conditions
35s
Remove response conditions Check #219: Pull request #145 opened by istathar
49s istathar:remove-response-conditions
istathar:remove-response-conditions
49s
Refine detection of procedure declarations Check #218: Pull request #144 synchronize by istathar
32s istathar:fix-colons-again
istathar:fix-colons-again
32s
Refine detection of procedure declarations Check #217: Pull request #144 opened by istathar
45s istathar:fix-colons-again
istathar:fix-colons-again
45s
Embed commit in version string when developing Check #216: Pull request #143 opened by istathar
46s istathar:embed-version
istathar:embed-version
46s
Parse empty tablet symbol Check #215: Pull request #142 opened by istathar
52s istathar:empty-tuple
istathar:empty-tuple
52s
Fix parsing of bindings in code blocks Check #214: Pull request #141 opened by istathar
57s istathar:fix-code-block
istathar:fix-code-block
57s
Fix behaviour of now() Check #213: Pull request #140 synchronize by istathar
41s fix-statement-binding
fix-statement-binding
41s
Fix behaviour of now() Check #212: Pull request #140 synchronize by istathar
57s fix-statement-binding
fix-statement-binding
57s
Fix behaviour of now() Check #211: Pull request #140 opened by istathar
56s fix-statement-binding
fix-statement-binding
56s
Literals, Constraints, and Costs Release #17: Release v0.6.5 published by istathar
3m 17s
3m 17s
Fix syntax highlighting when formatting Check #210: Pull request #139 opened by istathar
50s istathar:fix-syntax-highlighting
istathar:fix-syntax-highlighting
50s