Skip to content

Actions: GaloisInc/reopt

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
129 workflow runs
129 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #301 from GaloisInc/vr/comment-classify-instrs CI #1041: Commit 8f37a17 pushed by Ptival
December 18, 2023 16:30 7m 43s main
main
December 18, 2023 16:30 7m 43s
comment classifyInstrs CI #1040: Commit 8013ba5 pushed by Ptival
December 18, 2023 16:01 7m 23s vr/comment-classify-instrs
vr/comment-classify-instrs
December 18, 2023 16:01 7m 23s
Merge pull request #300 from GaloisInc/vr/bump CI #1039: Commit d6da0ff pushed by Ptival
December 18, 2023 15:36 7m 22s main
main
December 18, 2023 15:36 7m 22s
bump submodules CI #1038: Commit b1d1f63 pushed by Ptival
December 11, 2023 21:52 7m 25s vr/bump
vr/bump
December 11, 2023 21:52 7m 25s
bump submodules CI #1037: Commit 4951f70 pushed by Ptival
December 11, 2023 21:19 1m 21s vr/bump
vr/bump
December 11, 2023 21:19 1m 21s
Merge pull request #299 from GaloisInc/vr/resolve-function-pointers CI #1036: Commit b325e3b pushed by Ptival
December 11, 2023 20:49 5m 35s main
main
December 11, 2023 20:49 5m 35s
resolve function pointer types CI #1035: Commit a876c68 pushed by Ptival
December 9, 2023 01:56 4m 17s vr/resolve-function-pointers
vr/resolve-function-pointers
December 9, 2023 01:56 4m 17s
Merge pull request #298 from GaloisInc/vr/pretty-annfuntype CI #1034: Commit 960f595 pushed by Ptival
December 9, 2023 01:02 4m 1s main
main
December 9, 2023 01:02 4m 1s
Merge pull request #297 from GaloisInc/vr/infer-function-pointers CI #1033: Commit dcda067 pushed by Ptival
December 9, 2023 01:02 4m 5s main
main
December 9, 2023 01:02 4m 5s
fix pretty-printing of AnnFunType CI #1032: Commit 151d517 pushed by Ptival
December 9, 2023 00:53 4m 13s vr/pretty-annfuntype
vr/pretty-annfuntype
December 9, 2023 00:53 4m 13s
unify the newly-added types in constraint solving CI #1031: Commit fd7eedb pushed by Ptival
December 9, 2023 00:49 4m 1s vr/infer-function-pointers
vr/infer-function-pointers
December 9, 2023 00:49 4m 1s
unify the newly-added types in constraint solving CI #1030: Commit 2063ec0 pushed by Ptival
December 9, 2023 00:48 4m 5s vr/infer-function-pointers
vr/infer-function-pointers
December 9, 2023 00:48 4m 5s
unify the newly-added types in constraint solving CI #1029: Commit 6750dc5 pushed by Ptival
December 9, 2023 00:48 4m 23s vr/infer-function-pointers
vr/infer-function-pointers
December 9, 2023 00:48 4m 23s
Merge pull request #296 from GaloisInc/vr/infer-function-pointers CI #1028: Commit d1b9db4 pushed by Ptival
December 9, 2023 00:43 4m 10s main
main
December 9, 2023 00:43 4m 10s
favor ArchSegmentOff CI #1027: Commit 7932dd2 pushed by Ptival
December 9, 2023 00:34 5m 43s vr/infer-function-pointers
vr/infer-function-pointers
December 9, 2023 00:34 5m 43s
expose more FTy patterns CI #1026: Commit 040c533 pushed by Ptival
December 9, 2023 00:26 4m 17s vr/infer-function-pointers
vr/infer-function-pointers
December 9, 2023 00:26 4m 17s
type reconstruction: types for function pointer support CI #1025: Commit 228c2f7 pushed by Ptival
December 9, 2023 00:22 4m 26s vr/infer-function-pointers
vr/infer-function-pointers
December 9, 2023 00:22 4m 26s
Merge pull request #295 from GaloisInc/vr/finalize CI #1024: Commit 99ca166 pushed by Ptival
December 9, 2023 00:13 4m 16s main
main
December 9, 2023 00:13 4m 16s
finalise → finalize, to better fit with rest CI #1023: Commit 5b7e57e pushed by Ptival
December 8, 2023 23:24 4m 8s vr/finalize
vr/finalize
December 8, 2023 23:24 4m 8s
Merge pull request #294 from GaloisInc/vr/documentation-and-comments CI #1022: Commit 4d8386a pushed by Ptival
December 8, 2023 23:03 4m 9s main
main
December 8, 2023 23:03 4m 9s
add comments/function documentation CI #1021: Commit f2055a1 pushed by Ptival
December 8, 2023 19:59 13m 37s vr/documentation-and-comments
vr/documentation-and-comments
December 8, 2023 19:59 13m 37s
Merge pull request #293 from GaloisInc/vr/cleanup CI #1020: Commit a8ec7c7 pushed by Ptival
December 8, 2023 19:51 15m 57s main
main
December 8, 2023 19:51 15m 57s
add comments/function documentation CI #1019: Commit 78a1788 pushed by Ptival
December 8, 2023 19:51 15m 40s vr/documentation-and-comments
vr/documentation-and-comments
December 8, 2023 19:51 15m 40s
clean up commented-out debug code CI #1018: Commit 80305fe pushed by Ptival
December 8, 2023 19:28 16m 28s vr/cleanup
vr/cleanup
December 8, 2023 19:28 16m 28s
cleanup dead code CI #1017: Commit 2e8fafd pushed by Ptival
December 8, 2023 19:26 16m 7s vr/cleanup
vr/cleanup
December 8, 2023 19:26 16m 7s