Skip to content

Actions: formalsec/whilloc

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Promote test Build #50: Commit 5c8983a pushed by filipeom
April 25, 2024 09:35 16m 43s main
main
April 25, 2024 09:35 16m 43s
Use smtml instead of encoding Build #49: Pull request #25 opened by filipeom
April 24, 2024 14:34 17m 22s bump-smtml
bump-smtml
April 24, 2024 14:34 17m 22s
fix tests (closes #20) Build #48: Commit 6085851 pushed by julianayang777
March 21, 2024 15:57 24m 23s main
main
March 21, 2024 15:57 24m 23s
Fix tests Build #47: Pull request #24 synchronize by filipeom
March 21, 2024 12:42 27m 59s fix-test
fix-test
March 21, 2024 12:42 27m 59s
Adds bisect_ppx instrumentation to measure tests code coverage Build #46: Commit c7c808d pushed by filipeom
March 21, 2024 12:36 13m 1s main
main
March 21, 2024 12:36 13m 1s
Fix tests Build #45: Pull request #24 opened by julianayang777
March 21, 2024 12:01 12m 59s fix-test
fix-test
March 21, 2024 12:01 12m 59s
Adds bisect_ppx instrumentation to measure tests code coverage Build #44: Pull request #23 synchronize by filipeom
March 21, 2024 11:57 16m 15s add-coverage
add-coverage
March 21, 2024 11:57 16m 15s
Adds bisect_ppx instrumentation to measure tests code coverage Build #43: Pull request #23 opened by filipeom
March 21, 2024 11:34 26m 29s add-coverage
add-coverage
March 21, 2024 11:34 26m 29s
Merge pull request #22 from formalsec/heap_hierarchy Build #42: Commit 048f6a6 pushed by julianayang777
March 19, 2024 10:05 13m 37s main
main
March 19, 2024 10:05 13m 37s
Refactor some variables and Add Heap hierarchy Build #41: Pull request #22 synchronize by julianayang777
March 18, 2024 19:15 14m 23s heap_hierarchy
heap_hierarchy
March 18, 2024 19:15 14m 23s
Refactor some variables and Add Heap hierarchy Build #40: Pull request #22 opened by julianayang777
March 18, 2024 19:09 13m 26s heap_hierarchy
heap_hierarchy
March 18, 2024 19:09 13m 26s
Treat *.t files as OCaml in linguist Build #39: Commit 8c90999 pushed by filipeom
March 18, 2024 19:03 24m 44s main
main
March 18, 2024 19:03 24m 44s
Merge pull request #19 from formalsec/encoding Build #38: Commit 75623a2 pushed by julianayang777
March 18, 2024 16:53 22m 45s main
main
March 18, 2024 16:53 22m 45s
Using package encoding Build #37: Pull request #19 synchronize by julianayang777
March 18, 2024 16:17 13m 31s encoding
encoding
March 18, 2024 16:17 13m 31s
Using package encoding Build #36: Pull request #19 synchronize by filipeom
March 18, 2024 16:13 13m 30s encoding
encoding
March 18, 2024 16:13 13m 30s
Using package encoding Build #35: Pull request #19 synchronize by filipeom
March 18, 2024 16:13 21s encoding
encoding
March 18, 2024 16:13 21s
Using package encoding Build #34: Pull request #19 synchronize by joaomhmpereira
March 18, 2024 15:48 16m 56s encoding
encoding
March 18, 2024 15:48 16m 56s
Using package encoding Build #33: Pull request #19 synchronize by julianayang777
March 15, 2024 10:32 17m 22s encoding
encoding
March 15, 2024 10:32 17m 22s
Using package encoding Build #32: Pull request #19 opened by julianayang777
March 15, 2024 10:19 32m 47s encoding
encoding
March 15, 2024 10:19 32m 47s
Treat *.ml{i,y,l} in Linguist as OCaml Build #31: Commit 47d9374 pushed by filipeom
March 14, 2024 10:28 12m 57s main
main
March 14, 2024 10:28 12m 57s
Treat *.ml{i,y,l} in Linguist as OCaml Build #30: Pull request #18 opened by filipeom
March 14, 2024 10:28 12m 58s fix-linguist
fix-linguist
March 14, 2024 10:28 12m 58s
Merge pull request #17 from formalsec/pp_function Build #29: Commit b3b871a pushed by julianayang777
March 11, 2024 16:29 13m 11s main
main
March 11, 2024 16:29 13m 11s
Make filenames consistent and complete remaining pp functions Build #28: Pull request #17 opened by julianayang777
March 11, 2024 15:02 25m 45s pp_function
pp_function
March 11, 2024 15:02 25m 45s
Merge pull request #16 from formalsec/write_report Build #27: Commit c9da7be pushed by julianayang777
March 9, 2024 01:16 15m 37s main
main
March 9, 2024 01:16 15m 37s
Generates report and implement most of pretty printer functions Build #26: Pull request #16 synchronize by julianayang777
March 9, 2024 00:21 12m 46s write_report
write_report
March 9, 2024 00:21 12m 46s