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

bump submodules CI #1091: Commit e488cdc pushed by Ptival
October 7, 2024 21:33 7m 51s vr/bump-macaw
vr/bump-macaw
October 7, 2024 21:33 7m 51s
minor code review cleanups CI #1090: Commit 43e72ff pushed by Ptival
October 7, 2024 21:09 22m 30s vr/final-stretch
vr/final-stretch
October 7, 2024 21:09 22m 30s
Merge pull request #312 from GaloisInc/fix/ci-centos CI #1089: Commit fa5187d pushed by Ptival
October 7, 2024 21:09 21m 57s main
main
October 7, 2024 21:09 21m 57s
Force unlzma if needed CI #1088: Commit dc73634 pushed by Ptival
October 7, 2024 21:05 3m 8s fix/ci-centos
fix/ci-centos
October 7, 2024 21:05 3m 8s
Merge pull request #315 from GaloisInc/vr/bump-upload-artifact CI #1087: Commit 5288cc8 pushed by Ptival
October 7, 2024 21:05 22s main
main
October 7, 2024 21:05 22s
Force unlzma if needed CI #1086: Commit e877742 pushed by Ptival
October 7, 2024 20:32 22m 21s fix/ci-centos
fix/ci-centos
October 7, 2024 20:32 22m 21s
bump upload-artifact action version CI #1085: Commit 7cac43a pushed by Ptival
October 7, 2024 20:31 18s vr/bump-upload-artifact
vr/bump-upload-artifact
October 7, 2024 20:31 18s
bump upload-artifact action version CI #1084: Commit ff5f04b pushed by Ptival
October 7, 2024 20:30 26s vr/bump-upload-artifact
vr/bump-upload-artifact
October 7, 2024 20:30 26s
Force unlzma if needed CI #1083: Commit 3cb3964 pushed by Ptival
September 25, 2024 17:16 5m 42s fix/ci-centos
fix/ci-centos
September 25, 2024 17:16 5m 42s
minor code review cleanups CI #1082: Commit 7cb213e pushed by Ptival
September 25, 2024 17:11 25s vr/final-stretch
vr/final-stretch
September 25, 2024 17:11 25s
Add case that interprets bitvector as a pointer CI #1081: Commit b35b55a pushed by Ptival
September 25, 2024 15:44 19s vr/final-stretch
vr/final-stretch
September 25, 2024 15:44 19s
Force unlzma if needed CI #1080: Commit 36301a7 pushed by staslyakhov
August 23, 2024 15:22 15m 5s fix/ci-centos
fix/ci-centos
August 23, 2024 15:22 15m 5s
Force unlzma if needed CI #1079: Commit 6214fd1 pushed by staslyakhov
August 23, 2024 00:41 14m 42s fix/ci-centos
fix/ci-centos
August 23, 2024 00:41 14m 42s
Update freeze file for ghc 9.2.8 CI #1078: Commit 3d3cb62 pushed by staslyakhov
August 23, 2024 00:11 13m 36s fix/ci-centos
fix/ci-centos
August 23, 2024 00:11 13m 36s
fixup! Make the reopt-dev container use ubuntu instead of centos CI #1077: Commit 72ae00e pushed by staslyakhov
August 22, 2024 22:34 6m 40s fix/ci-centos
fix/ci-centos
August 22, 2024 22:34 6m 40s
Add case that interprets bitvector as a pointer CI #1076: Commit 56d5729 pushed by Ptival
August 22, 2024 21:15 20s vr/final-stretch
vr/final-stretch
August 22, 2024 21:15 20s
fixup! Make the reopt-dev container use ubuntu instead of centos CI #1075: Commit d1a0d6e pushed by staslyakhov
August 22, 2024 21:12 8m 47s fix/ci-centos
fix/ci-centos
August 22, 2024 21:12 8m 47s
fixup! Make the reopt-dev container use ubuntu instead of centos CI #1074: Commit 44d9bcc pushed by staslyakhov
August 22, 2024 20:59 8m 29s vr/final-stretch
vr/final-stretch
August 22, 2024 20:59 8m 29s
Make the reopt-dev container use ubuntu instead of centos CI #1073: Commit 37383af pushed by staslyakhov
August 22, 2024 20:49 5m 33s vr/final-stretch
vr/final-stretch
August 22, 2024 20:49 5m 33s
bump submodules CI #1072: Commit e364f1c pushed by Ptival
August 21, 2024 20:20 21s vr/bump-macaw
vr/bump-macaw
August 21, 2024 20:20 21s
Add case that interprets bitvector as a pointer CI #1071: Commit 56d5729 pushed by staslyakhov
August 19, 2024 21:38 21s vr/final-stretch
vr/final-stretch
August 19, 2024 21:38 21s
Add case that interprets bitvector as a pointer CI #1070: Commit d2ef674 pushed by staslyakhov
August 19, 2024 21:06 17s vr/final-stretch
vr/final-stretch
August 19, 2024 21:06 17s
Use x86CallRegs to resolve function pointers CI #1069: Commit 877cae3 pushed by staslyakhov
August 2, 2024 15:17 23s vr/final-stretch
vr/final-stretch
August 2, 2024 15:17 23s
Use x86CallRegs to resolve function pointers CI #1068: Commit 57d02e4 pushed by staslyakhov
August 2, 2024 00:30 29s vr/final-stretch
vr/final-stretch
August 2, 2024 00:30 29s
Add function pointer arguments to discovery frontier CI #1067: Commit aca9c5b pushed by staslyakhov
July 26, 2024 23:51 20s vr/final-stretch
vr/final-stretch
July 26, 2024 23:51 20s