Skip to content

Actions: GaloisInc/reopt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
129 workflow runs
129 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump urllib3 from 1.26.16 to 1.26.18 in /stats CI #1016: Commit 398dfed pushed by dependabot bot
October 18, 2023 01:03 2m 36s dependabot/pip/stats/urllib3-1.26.18
dependabot/pip/stats/urllib3-1.26.18
October 18, 2023 01:03 2m 36s
add to README CI #1015: Commit 3dfa178 pushed by Ptival
October 12, 2023 21:33 26m 14s vr/funptrtys
vr/funptrtys
October 12, 2023 21:33 26m 14s
temporarily add function-pointer example CI #1014: Commit 2235dd6 pushed by Ptival
October 12, 2023 21:32 20m 45s vr/funptrtys
vr/funptrtys
October 12, 2023 21:32 20m 45s
WIP: moving CI #1013: Commit 7c1bcbe pushed by Ptival
October 12, 2023 21:21 30m 11s vr/funptrtys
vr/funptrtys
October 12, 2023 21:21 30m 11s
Bump urllib3 from 1.26.16 to 1.26.17 in /stats CI #1012: Commit 27772b8 pushed by dependabot bot
October 3, 2023 04:05 6m 35s dependabot/pip/stats/urllib3-1.26.17
dependabot/pip/stats/urllib3-1.26.17
October 3, 2023 04:05 6m 35s
Merge pull request #290 from GaloisInc/vr/typo CI #1011: Commit f903431 pushed by Ptival
October 2, 2023 15:39 6m 23s main
main
October 2, 2023 15:39 6m 23s
fix typo in script CI #1010: Commit d97b2e6 pushed by Ptival
October 2, 2023 15:26 5m 16s vr/typo
vr/typo
October 2, 2023 15:26 5m 16s
fix typo in script CI #1009: Commit 40f7864 pushed by Ptival
October 2, 2023 15:25 5m 17s vr/typo
vr/typo
October 2, 2023 15:25 5m 17s
Merge pull request #289 from GaloisInc/vr/eqc-for-declared-types CI #1008: Commit 4a22b9b pushed by Ptival
September 30, 2023 00:25 5m 23s main
main
September 30, 2023 00:25 5m 23s
add equality constraints for declared types CI #1007: Commit b02e837 pushed by Ptival
September 29, 2023 21:41 5m 53s vr/eqc-for-declared-types
vr/eqc-for-declared-types
September 29, 2023 21:41 5m 53s
Merge pull request #288 from GaloisInc/vr/pp-eqc-without-prov CI #1006: Commit 17c2dce pushed by Ptival
September 29, 2023 21:41 5m 55s main
main
September 29, 2023 21:41 5m 55s
make ppEqCWithProv usable by the Pretty instance CI #1005: Commit 8d3f97c pushed by Ptival
September 29, 2023 21:32 5m 59s vr/pp-eqc-without-prov
vr/pp-eqc-without-prov
September 29, 2023 21:32 5m 59s
add equality constraints for declared types CI #1004: Commit 5e5baa0 pushed by Ptival
September 29, 2023 21:23 6m 32s vr/eqc-for-declared-types
vr/eqc-for-declared-types
September 29, 2023 21:23 6m 32s
add equality constraints for declared types CI #1003: Commit a7bbac4 pushed by Ptival
September 29, 2023 19:43 2m 35s vr/eqc-for-declared-types
vr/eqc-for-declared-types
September 29, 2023 19:43 2m 35s
make ppEqCWithProv usable by the Pretty instance CI #1002: Commit b3af2a2 pushed by Ptival
September 29, 2023 19:35 5m 26s vr/pp-eqc-without-prov
vr/pp-eqc-without-prov
September 29, 2023 19:35 5m 26s
use reoptPrepareForRecovery where possible (#287) CI #1001: Commit b21b80b pushed by Ptival
September 28, 2023 23:41 7m 25s main
main
September 28, 2023 23:41 7m 25s
simplify when reserved symbols are checked CI #1000: Commit 9107124 pushed by Ptival
September 28, 2023 22:07 5m 10s vr/prepare
vr/prepare
September 28, 2023 22:07 5m 10s
simplify when reserved symbols are checked CI #999: Commit 02e6e71 pushed by Ptival
September 28, 2023 21:47 6m 18s vr/prepare
vr/prepare
September 28, 2023 21:47 6m 18s
musing on less nesting CI #998: Commit 3fe9cac pushed by Ptival
September 28, 2023 21:11 5m 54s vr/less-nesting-plz
vr/less-nesting-plz
September 28, 2023 21:11 5m 54s
remove debugging code CI #997: Commit 9c74253 pushed by Ptival
September 27, 2023 22:18 7m 4s vr/prepare
vr/prepare
September 27, 2023 22:18 7m 4s
express recovery intent to reoptPrepareForRecovery CI #996: Commit a6e9bf7 pushed by Ptival
September 27, 2023 22:14 5m 27s vr/prepare
vr/prepare
September 27, 2023 22:14 5m 27s
use reoptPrepareForRecovery where possible CI #995: Commit 58b9920 pushed by Ptival
September 27, 2023 21:40 6m 20s vr/prepare
vr/prepare
September 27, 2023 21:40 6m 20s
use reoptPrepareForRecovery where possible CI #994: Commit e56778b pushed by Ptival
September 27, 2023 21:39 2m 21s vr/prepare
vr/prepare
September 27, 2023 21:39 2m 21s
Merge pull request #286 from GaloisInc/vr/function-pointer-types CI #993: Commit bc2ab47 pushed by Ptival
September 27, 2023 20:41 28m 47s main
main
September 27, 2023 20:41 28m 47s
implement prototype type inference discovery loop CI #992: Commit 42e700c pushed by Ptival
September 27, 2023 19:37 8m 16s vr/function-pointer-types
vr/function-pointer-types
September 27, 2023 19:37 8m 16s