Skip to content

Actions: project-everest/everparse

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch '_taramana_pulse' of github.com:project-everest/everpars… CI #78: Commit 2b40f35 pushed by tahina-pro
February 2, 2025 06:52 1h 50m 22s taramana_cbor
taramana_cbor
February 2, 2025 06:52 1h 50m 22s
EverParse+Pulse: Verified parsing and serialization with separation logic CI #77: Pull request #155 synchronize by tahina-pro
February 1, 2025 19:14 1h 33m 33s _taramana_pulse
_taramana_pulse
February 1, 2025 19:14 1h 33m 33s
refresh 3d doc snapshot CI #76: Commit f69a945 pushed by tahina-pro
February 1, 2025 19:13 1h 19m 31s master
master
February 1, 2025 19:13 1h 19m 31s
refresh 3d doc snapshot CI #75: Commit f69a945 pushed by tahina-pro
February 1, 2025 03:25 1h 19m 44s taramana_ci
taramana_ci
February 1, 2025 03:25 1h 19m 44s
call a perm lemma CI #74: Commit b56c7e0 pushed by tahina-pro
February 1, 2025 00:06 1h 54m 21s taramana_cbor
taramana_cbor
February 1, 2025 00:06 1h 54m 21s
impl_zero_copy_wf_array_group CI #73: Commit e5f644a pushed by tahina-pro
January 31, 2025 19:43 1h 52m 26s taramana_cbor
taramana_cbor
January 31, 2025 19:43 1h 52m 26s
remove spec-level simplification of types CI #72: Commit fa30297 pushed by tahina-pro
January 31, 2025 18:28 1h 51m 10s taramana_cbor
taramana_cbor
January 31, 2025 18:28 1h 51m 10s
generic operators on CDDL array iterators CI #71: Commit baaa3e9 pushed by tahina-pro
January 31, 2025 05:41 2h 17m 36s taramana_cbor
taramana_cbor
January 31, 2025 05:41 2h 17m 36s
impl_array_group_zero_or_more CI #70: Commit 90d93f2 pushed by tahina-pro
January 31, 2025 01:01 2h 18m 9s taramana_cbor
taramana_cbor
January 31, 2025 01:01 2h 18m 9s
cbordet snap CI #69: Commit 1a26d7f pushed by tahina-pro
January 30, 2025 17:05 1h 51m 11s taramana_cbor
taramana_cbor
January 30, 2025 17:05 1h 51m 11s
array iterator length CI #68: Commit 46e3e27 pushed by tahina-pro
January 30, 2025 16:05 40m 35s taramana_cbor
taramana_cbor
January 30, 2025 16:05 40m 35s
array iterator share, gather CI #67: Commit f731042 pushed by tahina-pro
January 30, 2025 00:02 1h 52m 37s taramana_cbor
taramana_cbor
January 30, 2025 00:02 1h 52m 37s
cbordet snap CI #66: Commit b676d4e pushed by tahina-pro
January 29, 2025 22:30 1h 47m 30s taramana_cbor
taramana_cbor
January 29, 2025 22:30 1h 47m 30s
cbor_raw share, gather CI #65: Commit 26a106c pushed by tahina-pro
January 29, 2025 08:13 1h 46m 52s taramana_cbor
taramana_cbor
January 29, 2025 08:13 1h 46m 52s
CBORDetSize: account for the extra length field CI #64: Commit b330510 pushed by tahina-pro
January 29, 2025 01:29 1h 38m 5s taramana_cbor
taramana_cbor
January 29, 2025 01:29 1h 38m 5s
EverParse+Pulse: Verified parsing and serialization with separation logic CI #63: Pull request #155 synchronize by tahina-pro
January 28, 2025 22:22 1h 6m 12s _taramana_pulse
_taramana_pulse
January 28, 2025 22:22 1h 6m 12s
type parsers, without array or map groups CI #62: Commit 4155aab pushed by tahina-pro
January 27, 2025 07:33 1h 46m 16s taramana_cbor
taramana_cbor
January 27, 2025 07:33 1h 46m 16s
specify iterable CBOR arrays and use them in the semantics CI #61: Commit 6702344 pushed by tahina-pro
January 26, 2025 22:53 1h 43m 56s taramana_cbor
taramana_cbor
January 26, 2025 22:53 1h 43m 56s
cbordet C snap CI #60: Commit e10a175 pushed by tahina-pro
January 26, 2025 20:44 1h 50m 20s taramana_cbor
taramana_cbor
January 26, 2025 20:44 1h 50m 20s
EverParse+Pulse: Verified parsing and serialization with separation logic CI #59: Pull request #155 synchronize by tahina-pro
January 26, 2025 18:06 1h 35m 15s _taramana_pulse
_taramana_pulse
January 26, 2025 18:06 1h 35m 15s
cbor_free' CI #58: Commit a832fc1 pushed by tahina-pro
January 25, 2025 04:29 1h 57m 47s taramana_cbor
taramana_cbor
January 25, 2025 04:29 1h 57m 47s
Merge pull request #167 from project-everest/_taramana_release_from_f… CI #57: Commit 66a869a pushed by tahina-pro
January 24, 2025 23:24 1h 18m 50s master
master
January 24, 2025 23:24 1h 18m 50s
Allow packaging and releasing from a F* source package CI #56: Pull request #167 synchronize by tahina-pro
January 24, 2025 21:55 1h 18m 48s _taramana_release_from_fstar_src
_taramana_release_from_fstar_src
January 24, 2025 21:55 1h 18m 48s
Allow packaging and releasing from a F* source package CI #55: Pull request #167 opened by tahina-pro
January 24, 2025 01:24 1h 1m 37s _taramana_release_from_fstar_src
_taramana_release_from_fstar_src
January 24, 2025 01:24 1h 1m 37s
implement copyful and zero-copy parsers for elem_typ CI #54: Commit bb0a511 pushed by tahina-pro
January 24, 2025 00:37 1h 38m 58s taramana_cbor
taramana_cbor
January 24, 2025 00:37 1h 38m 58s