Skip to content

Actions: formalsec/whilloc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generates report and implement most of pretty printer functions Build #25: Pull request #16 synchronize by julianayang777
March 8, 2024 17:44 25m 22s write_report
write_report
March 8, 2024 17:44 25m 22s
Generates report and implement most of pretty printer functions Build #24: Pull request #16 opened by julianayang777
March 6, 2024 11:27 12m 43s write_report
write_report
March 6, 2024 11:27 12m 43s
Merge pull request #15 from formalsec/commands Build #23: Commit b009321 pushed by julianayang777
March 4, 2024 22:35 14m 29s main
main
March 4, 2024 22:35 14m 29s
Add subcommands and man pages Build #22: Pull request #15 synchronize by julianayang777
March 4, 2024 20:44 13m 14s commands
commands
March 4, 2024 20:44 13m 14s
Add subcommands and man pages Build #21: Pull request #15 synchronize by julianayang777
March 4, 2024 17:48 12m 41s commands
commands
March 4, 2024 17:48 12m 41s
Add subcommands and man pages Build #20: Pull request #15 opened by julianayang777
March 4, 2024 11:12 12m 52s commands
commands
March 4, 2024 11:12 12m 52s
Promote tests Build #19: Commit 1c72070 pushed by filipeom
February 27, 2024 11:01 12m 30s main
main
February 27, 2024 11:01 12m 30s
Merge pull request #12 from formalsec/fix-lint Build #18: Commit 0abe8d9 pushed by filipeom
February 27, 2024 01:08 14m 43s main
main
February 27, 2024 01:08 14m 43s
Try to make models more deterministic Build #17: Pull request #11 synchronize by filipeom
February 27, 2024 01:03 12m 44s fix-models
fix-models
February 27, 2024 01:03 12m 44s
Try to make models more deterministic Build #16: Pull request #11 synchronize by filipeom
February 27, 2024 00:52 25m 27s fix-models
fix-models
February 27, 2024 00:52 25m 27s
Fix whilloc.opam and add license Build #15: Pull request #12 opened by filipeom
February 26, 2024 23:17 12m 24s fix-lint
fix-lint
February 26, 2024 23:17 12m 24s
Try to make models more deterministic Build #14: Pull request #11 opened by filipeom
February 26, 2024 23:13 12m 33s fix-models
fix-models
February 26, 2024 23:13 12m 33s
Merge pull request #8 from formalsec/array_ite Build #13: Commit 309cbc3 pushed by julianayang777
February 26, 2024 20:32 16m 50s main
main
February 26, 2024 20:32 16m 50s
Integrate other models and fix bugs Build #12: Pull request #8 synchronize by julianayang777
February 26, 2024 20:31 13m 46s array_ite
array_ite
February 26, 2024 20:31 13m 46s
Integrate other models and fix bugs Build #11: Pull request #8 synchronize by julianayang777
February 26, 2024 19:57 13m 55s array_ite
array_ite
February 26, 2024 19:57 13m 55s
Integrate other models and fix bugs Build #10: Pull request #8 synchronize by julianayang777
February 26, 2024 19:22 16m 50s array_ite
array_ite
February 26, 2024 19:22 16m 50s
Integrate other models and fix bugs Build #9: Pull request #8 synchronize by julianayang777
February 26, 2024 16:01 17m 52s array_ite
array_ite
February 26, 2024 16:01 17m 52s
Integrate other models and fix bugs Build #8: Pull request #8 synchronize by julianayang777
February 26, 2024 11:04 21m 18s array_ite
array_ite
February 26, 2024 11:04 21m 18s
Integrate other models and fix bugs Build #7: Pull request #8 opened by julianayang777
February 26, 2024 10:23 40m 6s array_ite
array_ite
February 26, 2024 10:23 40m 6s
Merge pull request #3 from formalsec/cram_tests Build #6: Commit 2358f81 pushed by julianayang777
February 12, 2024 17:04 16m 55s main
main
February 12, 2024 17:04 16m 55s
Cram tests Build #5: Pull request #3 synchronize by julianayang777
February 12, 2024 16:12 16m 25s cram_tests
cram_tests
February 12, 2024 16:12 16m 25s
Cram tests Build #4: Pull request #3 opened by julianayang777
February 12, 2024 16:01 22m 41s cram_tests
cram_tests
February 12, 2024 16:01 22m 41s
Add missing depends Build #3: Commit d0e435a pushed by filipeom
February 9, 2024 18:53 13m 11s main
main
February 9, 2024 18:53 13m 11s
Fixes lib Build #2: Commit deb0932 pushed by filipeom
February 9, 2024 17:47 36m 4s main
main
February 9, 2024 17:47 36m 4s
Adds CI Build #1: Commit 6220219 pushed by filipeom
February 9, 2024 17:27 20m 15s main
main
February 9, 2024 17:27 20m 15s