Skip to content

Actions: CertiGraph/CertiGraph

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Fix a bug in forward_remset build #72: Commit a2db4cf pushed by andrew-appel
May 24, 2024 10:00 31m 12s live
live
May 24, 2024 10:00 31m 12s
Turn CertiGC into a VSU build #71: Pull request #29 synchronize by andrew-appel
April 25, 2024 14:24 19m 51s VSU
VSU
April 25, 2024 14:24 19m 51s
Turn CertiGC into a VSU build #70: Pull request #29 synchronize by andrew-appel
April 12, 2024 12:54 19m 48s VSU
VSU
April 12, 2024 12:54 19m 48s
Turn CertiGC into a VSU build #69: Pull request #29 synchronize by andrew-appel
April 8, 2024 18:20 17m 7s VSU
VSU
April 8, 2024 18:20 17m 7s
Turn CertiGC into a VSU build #68: Pull request #29 synchronize by andrew-appel
April 8, 2024 15:52 17m 6s VSU
VSU
April 8, 2024 15:52 17m 6s
Turn CertiGC into a VSU build #67: Pull request #29 synchronize by andrew-appel
April 4, 2024 19:52 16m 49s VSU
VSU
April 4, 2024 19:52 16m 49s
Turn CertiGC into a VSU build #66: Pull request #29 synchronize by andrew-appel
April 3, 2024 20:20 17m 19s VSU
VSU
April 3, 2024 20:20 17m 19s
Turn CertiGC into a VSU build #65: Pull request #29 opened by andrew-appel
April 3, 2024 14:01 16m 49s VSU
VSU
April 3, 2024 14:01 16m 49s
Merge pull request #28 from CertiGraph/coq8.19 build #64: Commit fb93176 pushed by andrew-appel
April 2, 2024 17:50 31m 25s live
live
April 2, 2024 17:50 31m 25s
Coq 8.19 and VST 2.14 build #63: Pull request #28 synchronize by andrew-appel
March 29, 2024 18:06 40m 8s coq8.19
coq8.19
March 29, 2024 18:06 40m 8s
Coq 8.19 and VST 2.14 build #62: Pull request #28 synchronize by andrew-appel
March 29, 2024 14:51 38m 57s coq8.19
coq8.19
March 29, 2024 14:51 38m 57s
Coq 8.19 and VST 2.14 build #61: Pull request #28 synchronize by andrew-appel
March 28, 2024 17:38 25m 6s coq8.19
coq8.19
March 28, 2024 17:38 25m 6s
Coq 8.19 and VST 2.14 build #60: Pull request #28 synchronize by andrew-appel
March 28, 2024 15:50 25m 29s coq8.19
coq8.19
March 28, 2024 15:50 25m 29s
Coq 8.19 and VST 2.14 build #59: Pull request #28 synchronize by andrew-appel
March 28, 2024 14:40 25m 1s coq8.19
coq8.19
March 28, 2024 14:40 25m 1s
Coq 8.19 and VST 2.14 build #58: Pull request #28 opened by andrew-appel
March 22, 2024 17:28 39m 18s coq8.19
coq8.19
March 22, 2024 17:28 39m 18s
Merge pull request #27 from CertiGraph/VST2.13 build #57: Commit 4fa56f3 pushed by andrew-appel
March 14, 2024 16:53 32m 28s live
live
March 14, 2024 16:53 32m 28s
Adapt to Coq 8.18 and VST 2.13 build #56: Pull request #27 synchronize by andrew-appel
March 14, 2024 15:58 31m 15s VST2.13
VST2.13
March 14, 2024 15:58 31m 15s
Adapt to Coq 8.18 and VST 2.13 build #55: Pull request #27 synchronize by txyyss
March 12, 2024 03:45 32m 0s VST2.13
VST2.13
March 12, 2024 03:45 32m 0s
Adapt to Coq 8.18 and VST 2.13 build #54: Pull request #27 opened by andrew-appel
March 11, 2024 13:45 18m 47s VST2.13
VST2.13
March 11, 2024 13:45 18m 47s
fix: restrict coq-vst version in the opam files. build #53: Commit c4c2fc2 pushed by txyyss
March 10, 2024 05:40 32m 53s live
live
March 10, 2024 05:40 32m 53s
fix: Fix Makefile and remove make cleam from .opam files. build #52: Commit c43df16 pushed by txyyss
March 10, 2024 04:45 18m 33s live
live
March 10, 2024 04:45 18m 33s
fix: Fix broken CI. build #51: Commit 937a7f6 pushed by txyyss
March 10, 2024 04:05 16m 55s live
live
March 10, 2024 04:05 16m 55s
chore: suppress some warnings and fix one incompatible tactic. build #50: Commit 7a225f5 pushed by txyyss
March 8, 2024 17:39 1m 53s live
live
March 8, 2024 17:39 1m 53s
Got all the application examples to work in Coq 8.17 and VST 2.13 build #49: Commit 7677162 pushed by andrew-appel
March 7, 2024 19:28 1m 56s live
live
March 7, 2024 19:28 1m 56s
Many cleanups to make proofs go faster build #48: Commit 8070546 pushed by andrew-appel
March 1, 2024 20:05 1m 50s live
live
March 1, 2024 20:05 1m 50s