Skip to content

Actions: GaloisInc/reopt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
212 workflow runs
212 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

investigating cache failure CI #941: Commit 1ead41a pushed by Ptival
August 8, 2023 20:32 15m 38s vr/update-Dockerfile
vr/update-Dockerfile
August 8, 2023 20:32 15m 38s
minimal change, to test CI caching CI #940: Commit cbda00c pushed by Ptival
August 8, 2023 20:14 15m 36s vr/update-Dockerfile
vr/update-Dockerfile
August 8, 2023 20:14 15m 36s
looks like new cabal puts symlinks elsewhere CI #939: Commit e11280e pushed by Ptival
August 8, 2023 19:47 19m 6s vr/update-Dockerfile
vr/update-Dockerfile
August 8, 2023 19:47 19m 6s
investigating slow builds CI #938: Commit 4aebaab pushed by Ptival
August 8, 2023 19:19 24m 6s vr/update-Dockerfile
vr/update-Dockerfile
August 8, 2023 19:19 24m 6s
fix new scripts CI #937: Commit 626110d pushed by Ptival
August 8, 2023 19:12 5m 48s vr/work
vr/work
August 8, 2023 19:12 5m 48s
Merge pull request #273 from GaloisInc/vr/work CI #936: Commit 27985f6 pushed by Ptival
August 8, 2023 19:11 39m 47s main
main
August 8, 2023 19:11 39m 47s
add Show instance to PartitionedSegments CI #935: Commit 0043ba4 pushed by Ptival
August 8, 2023 18:21 29m 11s vr/work
vr/work
August 8, 2023 18:21 29m 11s
Merge pull request #272 from GaloisInc/vr/run-scripts CI #934: Commit d0f7c96 pushed by Ptival
August 8, 2023 18:14 27m 42s main
main
August 8, 2023 18:14 27m 42s
add useful scripts for running reopt/residuals in the most common way CI #933: Commit 5af81de pushed by Ptival
August 8, 2023 16:07 38m 58s vr/run-scripts
vr/run-scripts
August 8, 2023 16:07 38m 58s
add useful scripts for running reopt/residuals in the most common way CI #932: Commit c37e595 pushed by Ptival
August 8, 2023 15:56 32m 20s vr/run-scripts
vr/run-scripts
August 8, 2023 15:56 32m 20s
Merge pull request #271 from GaloisInc/vr/small-simplification CI #931: Commit f3a8f96 pushed by Ptival
August 8, 2023 15:52 42m 52s main
main
August 8, 2023 15:52 42m 52s
small simplification CI #930: Commit d80b16f pushed by Ptival
August 8, 2023 06:16 38m 18s vr/small-simplification
vr/small-simplification
August 8, 2023 06:16 38m 18s
Merge pull request #270 from GaloisInc/vr/autoformat CI #929: Commit 2327713 pushed by Ptival
August 8, 2023 06:12 41m 12s main
main
August 8, 2023 06:12 41m 12s
cleanup/formatter for most files CI #928: Commit 5bda16d pushed by Ptival
August 7, 2023 23:34 34m 47s vr/autoformat
vr/autoformat
August 7, 2023 23:34 34m 47s
cleanup/formatter for most files CI #927: Commit 2b7cc7b pushed by Ptival
August 7, 2023 23:31 3m 6s vr/autoformat
vr/autoformat
August 7, 2023 23:31 3m 6s
make reopt output more readable for humans (#269) CI #926: Commit 362eb88 pushed by Ptival
August 7, 2023 23:16 30m 18s main
main
August 7, 2023 23:16 30m 18s
factor output choice in withHerald CI #925: Commit c38918b pushed by Ptival
August 7, 2023 22:24 7m 1s vr/better-output
vr/better-output
August 7, 2023 22:24 7m 1s
code review CI #924: Commit 1e0741b pushed by Ptival
August 7, 2023 22:19 7m 21s vr/better-output
vr/better-output
August 7, 2023 22:19 7m 21s
make reopt output more readable for humans CI #923: Commit 8625835 pushed by Ptival
August 7, 2023 19:46 34m 35s vr/better-output
vr/better-output
August 7, 2023 19:46 34m 35s
make reopt output more readable for humans CI #922: Commit f9fbb78 pushed by Ptival
August 7, 2023 19:45 45s vr/better-output
vr/better-output
August 7, 2023 19:45 45s
Merge pull request #268 from GaloisInc/vr/bump-macaw CI #921: Commit d2b92d4 pushed by Ptival
July 31, 2023 22:49 29m 51s main
main
July 31, 2023 22:49 29m 51s
bump macaw CI #920: Commit 02cd1ff pushed by Ptival
July 31, 2023 21:00 39m 54s vr/bump-macaw
vr/bump-macaw
July 31, 2023 21:00 39m 54s
Merge pull request #267 from GaloisInc/vr/readme-contributing CI #919: Commit 5b9b94d pushed by Ptival
July 31, 2023 21:00 33m 18s main
main
July 31, 2023 21:00 33m 18s
bump macaw CI #918: Commit 468782f pushed by Ptival
July 31, 2023 20:58 1m 49s vr/bump-macaw
vr/bump-macaw
July 31, 2023 20:58 1m 49s
bump macaw CI #917: Commit 110ff8c pushed by Ptival
July 31, 2023 20:55 3m 1s vr/bump-macaw
vr/bump-macaw
July 31, 2023 20:55 3m 1s