Skip to content

Actions: sharkdp/numbat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,154 workflow runs
1,154 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Type-inference Gauss elimination example CICD #1143: Pull request #548 opened by sharkdp
August 20, 2024 19:48 7m 38s add-gauss-elimination-example
add-gauss-elimination-example
August 20, 2024 19:48 7m 38s
Fix pretty printing for some generic types CICD #1142: Commit 7a67745 pushed by sharkdp
August 20, 2024 18:57 7m 39s master
master
August 20, 2024 18:57 7m 39s
Fix pretty printing for some generic types CICD #1141: Pull request #547 opened by sharkdp
August 20, 2024 18:47 7m 22s fix-generic-type-pretty-printing
fix-generic-type-pretty-printing
August 20, 2024 18:47 7m 22s
Remove size of typed_ast::Expression from 416 byte to 224 byte CICD #1140: Commit 3a767fd pushed by sharkdp
August 20, 2024 07:03 7m 9s master
master
August 20, 2024 07:03 7m 9s
Safe versions of round/ceil/floor/trunc CICD #1139: Pull request #546 synchronize by sharkdp
August 20, 2024 06:55 6m 20s safe-versions-of-round-floor-ceil-trunc
safe-versions-of-round-floor-ceil-trunc
August 20, 2024 06:55 6m 20s
Safe versions of round/ceil/floor/trunc CICD #1138: Pull request #546 synchronize by sharkdp
August 20, 2024 06:53 7m 15s safe-versions-of-round-floor-ceil-trunc
safe-versions-of-round-floor-ceil-trunc
August 20, 2024 06:53 7m 15s
Safe versions of round/ceil/floor/trunc CICD #1137: Pull request #546 synchronize by sharkdp
August 20, 2024 06:49 6m 5s safe-versions-of-round-floor-ceil-trunc
safe-versions-of-round-floor-ceil-trunc
August 20, 2024 06:49 6m 5s
Safe versions of round/ceil/floor/trunc CICD #1136: Pull request #546 synchronize by sharkdp
August 19, 2024 21:25 7m 0s safe-versions-of-round-floor-ceil-trunc
safe-versions-of-round-floor-ceil-trunc
August 19, 2024 21:25 7m 0s
Safe versions of round/ceil/floor/trunc CICD #1135: Pull request #546 opened by sharkdp
August 19, 2024 21:20 6m 53s safe-versions-of-round-floor-ceil-trunc
safe-versions-of-round-floor-ceil-trunc
August 19, 2024 21:20 6m 53s
Use a MapStack for the environment and namespaces in the typechecker CICD #1134: Commit 47d90c1 pushed by sharkdp
August 19, 2024 19:43 6m 49s master
master
August 19, 2024 19:43 6m 49s
Avoid cloning the typechecker in elaborate_statement CICD #1133: Pull request #543 synchronize by GuerricChupin
August 19, 2024 18:37 5m 53s GuerricChupin:avoid-cloning-the-typechecker
GuerricChupin:avoid-cloning-the-typechecker
August 19, 2024 18:37 5m 53s
Reduce the number of calls to simplify CICD #1132: Pull request #537 synchronize by irevoire
August 19, 2024 09:21 6m 22s irevoire:reduce-call-to-simplify
irevoire:reduce-call-to-simplify
August 19, 2024 09:21 6m 22s
Fix warning CICD #1131: Commit cb245ca pushed by sharkdp
August 18, 2024 19:26 6m 18s master
master
August 18, 2024 19:26 6m 18s
refactor(numbat): move interpreter.rs and assert_eq_3.rs to interpret… CICD #1130: Commit 0be18ef pushed by sharkdp
August 18, 2024 18:43 6m 19s master
master
August 18, 2024 18:43 6m 19s
Improve error message for assert_eq/3 CICD #1129: Pull request #527 synchronize by xmbhasin
August 18, 2024 16:39 6m 27s xmbhasin:505-assert-eq-3-better-error-msg
xmbhasin:505-assert-eq-3-better-error-msg
August 18, 2024 16:39 6m 27s
Improve error message for assert_eq/3 CICD #1128: Pull request #527 synchronize by xmbhasin
August 18, 2024 16:35 7m 10s xmbhasin:505-assert-eq-3-better-error-msg
xmbhasin:505-assert-eq-3-better-error-msg
August 18, 2024 16:35 7m 10s
Improve error message for assert_eq/3 CICD #1127: Pull request #527 synchronize by xmbhasin
August 18, 2024 16:33 6m 21s xmbhasin:505-assert-eq-3-better-error-msg
xmbhasin:505-assert-eq-3-better-error-msg
August 18, 2024 16:33 6m 21s
Avoid cloning the typechecker in elaborate_statement CICD #1126: Pull request #543 opened by GuerricChupin
August 18, 2024 13:06 6m 44s GuerricChupin:avoid-cloning-the-typechecker
GuerricChupin:avoid-cloning-the-typechecker
August 18, 2024 13:06 6m 44s
fix: formatting in numbat/src/typechecker/ CICD #1125: Commit 3b8792b pushed by sharkdp
August 18, 2024 12:32 6m 4s master
master
August 18, 2024 12:32 6m 4s
Reduce the number of calls to simplify CICD #1124: Pull request #537 synchronize by irevoire
August 18, 2024 09:43 5m 47s irevoire:reduce-call-to-simplify
irevoire:reduce-call-to-simplify
August 18, 2024 09:43 5m 47s
style: simplify string formatting for readability CICD #1123: Pull request #541 opened by hamirmahal
August 16, 2024 19:17 7m 9s hamirmahal:style/simplify-string-formatting-for-readability
hamirmahal:style/simplify-string-formatting-for-readability
August 16, 2024 19:17 7m 9s
Numbat lsp CICD #1122: Pull request #538 opened by irevoire
August 15, 2024 09:39 8m 13s irevoire:numbat-lsp
irevoire:numbat-lsp
August 15, 2024 09:39 8m 13s
Reduce the number of calls to simplify CICD #1121: Pull request #537 opened by irevoire
August 15, 2024 09:11 7m 36s irevoire:reduce-call-to-simplify
irevoire:reduce-call-to-simplify
August 15, 2024 09:11 7m 36s
Improve error message for assert_eq/3 CICD #1120: Pull request #527 synchronize by xmbhasin
August 11, 2024 04:37 5m 33s xmbhasin:505-assert-eq-3-better-error-msg
xmbhasin:505-assert-eq-3-better-error-msg
August 11, 2024 04:37 5m 33s
Improve error message for assert_eq/3 CICD #1119: Pull request #527 synchronize by xmbhasin
August 11, 2024 04:33 5m 56s xmbhasin:505-assert-eq-3-better-error-msg
xmbhasin:505-assert-eq-3-better-error-msg
August 11, 2024 04:33 5m 56s