Skip to content

Actions: SRI-CSL/yices2

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
409 workflow runs
409 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update ci.yml CI #161: Commit cab1fec pushed by ahmed-irfan
October 3, 2023 23:34 2m 59s per-thread-state
per-thread-state
October 3, 2023 23:34 2m 59s
Update ci.yml CI #160: Commit cc70976 pushed by ahmed-irfan
October 3, 2023 23:29 3m 4s per-thread-state
per-thread-state
October 3, 2023 23:29 3m 4s
Update ci.yml CI #159: Commit 4cf9b5d pushed by ahmed-irfan
October 3, 2023 23:27 3m 14s per-thread-state
per-thread-state
October 3, 2023 23:27 3m 14s
Update ci.yml CI #158: Commit 4731335 pushed by ahmed-irfan
October 3, 2023 23:18 Startup failure per-thread-state
per-thread-state
October 3, 2023 23:18 Startup failure
Update ci.yml CI #157: Commit 34f533a pushed by ahmed-irfan
October 3, 2023 22:48 Failure per-thread-state
per-thread-state
October 3, 2023 22:48 Failure
Update ci.yml CI #156: Commit ff2a84e pushed by ahmed-irfan
October 3, 2023 22:42 Startup failure per-thread-state
per-thread-state
October 3, 2023 22:42 Startup failure
Update ci.yml CI #155: Commit 8cbb288 pushed by ahmed-irfan
October 3, 2023 22:41 Startup failure per-thread-state
per-thread-state
October 3, 2023 22:41 Startup failure
Update ci.yml CI #154: Commit 4b2d5ce pushed by ahmed-irfan
October 3, 2023 22:30 2s per-thread-state
per-thread-state
October 3, 2023 22:30 2s
Merge remote-tracking branch 'origin' into per-thread-state CI #153: Commit 7c375aa pushed by ahmed-irfan
October 3, 2023 21:05 3m 25s per-thread-state
per-thread-state
October 3, 2023 21:05 3m 25s
Update GMP CI #152: Commit ef6ccf7 pushed by ahmed-irfan
October 3, 2023 20:22 12m 1s master
master
October 3, 2023 20:22 12m 1s
Update GMP for windows CI #151: Commit 3945b3b pushed by ahmed-irfan
October 3, 2023 19:36 11m 19s master
master
October 3, 2023 19:36 11m 19s
Jhx/mcarith CI #150: Pull request #459 synchronize by joehendrix
September 28, 2023 22:44 4m 22s jhx/mcarith
jhx/mcarith
September 28, 2023 22:44 4m 22s
Add extra logging and force command. CI #149: Commit 6aaea1e pushed by joehendrix
September 28, 2023 22:44 4m 15s jhx/mcarith
jhx/mcarith
September 28, 2023 22:44 4m 15s
Merge pull request #444 from SRI-CSL/qf-eq-bv-arith CI #148: Commit c1159a6 pushed by disteph
September 28, 2023 19:53 9m 53s master
master
September 28, 2023 19:53 9m 53s
Qf eq bv arith CI #147: Pull request #444 synchronize by ahmed-irfan
September 27, 2023 19:02 14m 2s qf-eq-bv-arith
qf-eq-bv-arith
September 27, 2023 19:02 14m 2s
Merge branch 'master' into qf-eq-bv-arith CI #146: Commit 9d2dc3f pushed by ahmed-irfan
September 27, 2023 19:02 9m 50s qf-eq-bv-arith
qf-eq-bv-arith
September 27, 2023 19:02 9m 50s
Qf eq bv arith CI #145: Pull request #444 reopened by ahmed-irfan
September 27, 2023 18:58 10m 52s qf-eq-bv-arith
qf-eq-bv-arith
September 27, 2023 18:58 10m 52s
Qf eq bv arith CI #144: Pull request #444 synchronize by ahmed-irfan
September 27, 2023 18:48 12m 21s qf-eq-bv-arith
qf-eq-bv-arith
September 27, 2023 18:48 12m 21s
regress test CI #143: Commit 7aeba75 pushed by ahmed-irfan
September 27, 2023 18:48 9m 50s qf-eq-bv-arith
qf-eq-bv-arith
September 27, 2023 18:48 9m 50s
Jhx/mcarith CI #142: Pull request #459 synchronize by joehendrix
September 26, 2023 20:59 5m 46s jhx/mcarith
jhx/mcarith
September 26, 2023 20:59 5m 46s
Bugfixes and cleanups to support backtracing in mcarith. CI #141: Commit b2eb4fc pushed by joehendrix
September 26, 2023 20:59 5m 19s jhx/mcarith
jhx/mcarith
September 26, 2023 20:59 5m 19s
Bugfixes and cleanups to support backtracing in mcarith. CI #140: Commit 2fe3eaa pushed by joehendrix
September 26, 2023 19:01 5m 8s jhx/mcarith
jhx/mcarith
September 26, 2023 19:01 5m 8s
Remove extra factor of 4. (#458) CI #139: Commit c5d5753 pushed by ahmed-irfan
September 26, 2023 16:14 9m 10s master
master
September 26, 2023 16:14 9m 10s
Remove extra factor of 4. CI #138: Pull request #458 opened by markpmitchell
September 26, 2023 04:37 10m 0s markpmitchell:master
markpmitchell:master
September 26, 2023 04:37 10m 0s
Merge pull request #457 from markpmitchell/mcsat-thread-safety CI #137: Commit 6d4c28e pushed by disteph
September 25, 2023 20:22 10m 15s master
master
September 25, 2023 20:22 10m 15s
ProTip! You can narrow down the results and go further in time using created:<2023-09-25 or the other filters available.