Skip to content

Actions: project-everest/everparse

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
383 workflow runs
383 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build and test EverParse based on a FStar image Build and test EverParse based on a FStar image #749: Manually run by nikswamy
September 6, 2024 05:19 38m 53s nik_context_pruning
nik_context_pruning
September 6, 2024 05:19 38m 53s
Build and test EverParse Build and test EverParse #147: Manually run by nikswamy
September 6, 2024 00:19 48m 18s nik_context_pruning
nik_context_pruning
September 6, 2024 00:19 48m 18s
enable context pruning Build and test EverParse based on a FStar image #748: Commit 3ec5a16 pushed by nikswamy
September 5, 2024 22:55 1h 24m 42s nik_context_pruning
nik_context_pruning
September 5, 2024 22:55 1h 24m 42s
number C witnesses Build and test EverParse based on a FStar image #747: Commit d1eb193 pushed by tahina-pro
September 5, 2024 04:17 27s master
master
September 5, 2024 04:17 27s
number C witnesses Build and test EverParse based on a FStar image #746: Commit d1eb193 pushed by tahina-pro
September 5, 2024 03:28 47m 40s taramana_3d_number_c_witnesses
taramana_3d_number_c_witnesses
September 5, 2024 03:28 47m 40s
Merge branch 'master' of github.com:project-everest/everparse into ta… Build and test EverParse based on a FStar image #745: Commit a10e99c pushed by tahina-pro
September 4, 2024 23:57 3h 43m 12s master
master
September 4, 2024 23:57 3h 43m 12s
Merge branch 'master' of github.com:project-everest/everparse into ta… Build and test EverParse based on a FStar image #744: Commit a10e99c pushed by tahina-pro
September 4, 2024 22:31 37m 14s taramana_ci
taramana_ci
September 4, 2024 22:31 37m 14s
Karamel is now double-licensed Apache+MIT Build and test EverParse based on a FStar image #743: Commit 0683e8c pushed by tahina-pro
September 4, 2024 04:05 38m 22s master
master
September 4, 2024 04:05 38m 22s
Karamel is now double-licensed Apache+MIT Build and test EverParse based on a FStar image #742: Commit 0683e8c pushed by tahina-pro
September 4, 2024 03:13 36m 32s taramana_tot_serializer
taramana_tot_serializer
September 4, 2024 03:13 36m 32s
switch to OCaml 4.14 Build and test EverParse based on a FStar image #741: Commit f87440d pushed by tahina-pro
September 4, 2024 02:30 38m 19s taramana_tot_serializer
taramana_tot_serializer
September 4, 2024 02:30 38m 19s
Merge commit 'fa2690c8' into taramana_tot_serializer Build and test EverParse based on a FStar image #740: Commit adef492 pushed by tahina-pro
September 3, 2024 23:37 3m 12s taramana_tot_serializer
taramana_tot_serializer
September 3, 2024 23:37 3m 12s
Build and test EverParse Build and test EverParse #146: Manually run by tahina-pro
August 27, 2024 23:21 52m 51s taramana_ci
taramana_ci
August 27, 2024 23:21 52m 51s
do not build krmllib on Windows Build and test EverParse based on a FStar image #739: Commit d001950 pushed by tahina-pro
August 27, 2024 22:58 28m 7s taramana_ci
taramana_ci
August 27, 2024 22:58 28m 7s
Build and test EverParse Build and test EverParse #145: Manually run by tahina-pro
August 27, 2024 21:52 38m 41s taramana_ci
taramana_ci
August 27, 2024 21:52 38m 41s
wholly build Karamel Build and test EverParse based on a FStar image #738: Commit b28a9eb pushed by tahina-pro
August 27, 2024 20:59 27m 44s taramana_ci
taramana_ci
August 27, 2024 20:59 27m 44s
Merge pull request #144 from project-everest/nik_offsetof Build and test EverParse based on a FStar image #737: Commit fa2690c pushed by tahina-pro
August 23, 2024 03:52 28m 39s master
master
August 23, 2024 03:52 28m 39s
Adding offsetof checks as static assertions when refining a C type Build and test EverParse #144: Pull request #144 synchronize by tahina-pro
August 22, 2024 20:30 51m 46s nik_offsetof
nik_offsetof
August 22, 2024 20:30 51m 46s
Adding offsetof checks as static assertions when refining a C type Build and test EverParse based on a FStar image #736: Pull request #144 synchronize by tahina-pro
August 22, 2024 20:30 1h 18m 15s nik_offsetof
nik_offsetof
August 22, 2024 20:30 1h 18m 15s
Merge branch 'master' into nik_offsetof Build and test EverParse based on a FStar image #735: Commit be1c01c pushed by tahina-pro
August 22, 2024 20:30 50m 50s nik_offsetof
nik_offsetof
August 22, 2024 20:30 50m 50s
Merge pull request #129 from project-everest/_taramana_3d_entrypoint_… Build and test EverParse based on a FStar image #734: Commit 0896b0f pushed by tahina-pro
August 22, 2024 20:29 29m 38s master
master
August 22, 2024 20:29 29m 38s
Generate 3d probe-and-validate wrapper functions Build and test EverParse based on a FStar image #733: Pull request #129 synchronize by tahina-pro
August 22, 2024 19:31 28m 51s _taramana_3d_entrypoint_with_probe
_taramana_3d_entrypoint_with_probe
August 22, 2024 19:31 28m 51s
Generate 3d probe-and-validate wrapper functions Build and test EverParse #143: Pull request #129 synchronize by tahina-pro
August 22, 2024 19:31 52m 36s _taramana_3d_entrypoint_with_probe
_taramana_3d_entrypoint_with_probe
August 22, 2024 19:31 52m 36s
Merge branch 'taramana_tot_serializer' Build and test EverParse based on a FStar image #732: Commit cb4e26c pushed by tahina-pro
August 21, 2024 16:06 28m 27s taramana_tot_serializer
taramana_tot_serializer
August 21, 2024 16:06 28m 27s
Adding offsetof checks as static assertions when refining a C type Build and test EverParse #142: Pull request #144 opened by nikswamy
August 20, 2024 15:05 52m 12s nik_offsetof
nik_offsetof
August 20, 2024 15:05 52m 12s
Adding offsetof checks as static assertions when refining a C type Build and test EverParse based on a FStar image #731: Pull request #144 opened by nikswamy
August 20, 2024 15:05 33m 58s nik_offsetof
nik_offsetof
August 20, 2024 15:05 33m 58s