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 Debian folder (#545) CI #546: Commit 37e652a pushed by ahmed-irfan
December 24, 2024 00:12 9m 56s master
master
December 24, 2024 00:12 9m 56s
update Debian folder CI #545: Pull request #545 opened by ahmed-irfan
December 23, 2024 23:52 13m 55s ahmed-irfan-debian
ahmed-irfan-debian
December 23, 2024 23:52 13m 55s
Update control CI #544: Commit 3ef11eb pushed by ahmed-irfan
December 23, 2024 23:51 10m 44s ahmed-irfan-debian
ahmed-irfan-debian
December 23, 2024 23:51 10m 44s
Update changelog CI #543: Commit af9d69b pushed by ahmed-irfan
December 23, 2024 23:50 11m 29s ahmed-irfan-debian
ahmed-irfan-debian
December 23, 2024 23:50 11m 29s
Inc aufbvnia iss CI #542: Pull request #542 synchronize by ahmed-irfan
December 21, 2024 09:20 12m 0s inc-aufbvnia-iss
inc-aufbvnia-iss
December 21, 2024 09:20 12m 0s
Merge branch 'master' into inc-aufbvnia-iss CI #541: Commit d262617 pushed by ahmed-irfan
December 21, 2024 09:20 9m 20s inc-aufbvnia-iss
inc-aufbvnia-iss
December 21, 2024 09:20 9m 20s
Fixes GitHub coverage issue (#544) CI #540: Commit 1cb3967 pushed by ahmed-irfan
December 17, 2024 06:41 9m 52s master
master
December 17, 2024 06:41 9m 52s
Fixes GitHub coverage issue CI #539: Pull request #544 synchronize by ahmed-irfan
December 17, 2024 06:19 11m 56s ahmed-irfan-patch-1
ahmed-irfan-patch-1
December 17, 2024 06:19 11m 56s
Update action.yml CI #538: Commit c2c67a4 pushed by ahmed-irfan
December 17, 2024 06:19 11m 58s ahmed-irfan-patch-1
ahmed-irfan-patch-1
December 17, 2024 06:19 11m 58s
Fixes GitHub coverage issue CI #537: Pull request #544 opened by ahmed-irfan
December 17, 2024 06:16 4m 11s ahmed-irfan-patch-1
ahmed-irfan-patch-1
December 17, 2024 06:16 4m 11s
Update action.yml CI #536: Commit 301e7b4 pushed by ahmed-irfan
December 17, 2024 06:06 10m 35s ahmed-irfan-patch-1
ahmed-irfan-patch-1
December 17, 2024 06:06 10m 35s
Update ci.yml CI #535: Commit 641358e pushed by ahmed-irfan
December 17, 2024 05:55 3m 50s ahmed-irfan-patch-1
ahmed-irfan-patch-1
December 17, 2024 05:55 3m 50s
Update yices.h CI #534: Commit 772ad59 pushed by ahmed-irfan
December 14, 2024 08:55 9m 26s master
master
December 14, 2024 08:55 9m 26s
Update nra_plugin.c (#543) CI #533: Commit 1ae6ec6 pushed by ahmed-irfan
December 11, 2024 19:53 9m 37s master
master
December 11, 2024 19:53 9m 37s
NRA HINTS PATCH CI #532: Pull request #543 opened by ahmed-irfan
December 11, 2024 19:35 11m 11s nra-hints-patch
nra-hints-patch
December 11, 2024 19:35 11m 11s
Update nra_plugin.c CI #531: Commit f3e008b pushed by ahmed-irfan
December 11, 2024 19:34 9m 37s nra-hints-patch
nra-hints-patch
December 11, 2024 19:34 9m 37s
Inc aufbvnia iss CI #530: Pull request #542 opened by ahmed-irfan
December 4, 2024 06:43 9m 13s inc-aufbvnia-iss
inc-aufbvnia-iss
December 4, 2024 06:43 9m 13s
minor CI #529: Commit 8f40e8f pushed by ahmed-irfan
November 27, 2024 05:42 10m 3s mcsat-target-best
mcsat-target-best
November 27, 2024 05:42 10m 3s
fine grained target cache CI #528: Commit e0e654b pushed by ahmed-irfan
November 27, 2024 05:33 3m 25s mcsat-target-best
mcsat-target-best
November 27, 2024 05:33 3m 25s
clear all caches before setting hints CI #527: Commit 9d6a532 pushed by ahmed-irfan
November 18, 2024 21:57 9m 38s mcsat-target-best
mcsat-target-best
November 18, 2024 21:57 9m 38s
reintroduce interval approx hints (#537) CI #526: Commit f4f5978 pushed by ahmed-irfan
November 13, 2024 02:35 9m 36s master
master
November 13, 2024 02:35 9m 36s
reintroduce interval approx hints CI #525: Pull request #537 opened by ahmed-irfan
November 13, 2024 02:12 12m 35s reintroduce-interval-approx-nra
reintroduce-interval-approx-nra
November 13, 2024 02:12 12m 35s
reintroduce interval approx hints CI #524: Commit 20183ca pushed by ahmed-irfan
November 13, 2024 02:12 10m 4s reintroduce-interval-approx-nra
reintroduce-interval-approx-nra
November 13, 2024 02:12 10m 4s
Improved Integer handling in NRA plugin (#533) CI #523: Commit 78e1c72 pushed by ahmed-irfan
November 2, 2024 06:27 10m 17s master
master
November 2, 2024 06:27 10m 17s
Merge branch 'master' into mcsat-target-best CI #522: Commit 1526059 pushed by ahmed-irfan
November 2, 2024 00:57 6m 47s mcsat-target-best
mcsat-target-best
November 2, 2024 00:57 6m 47s