Skip to content

Actions: project-everest/everparse

Build everparse package (windows)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

EverParse+Pulse: Verified parsing and serialization with separation logic
Build everparse package (windows) #26: Pull request #155 synchronize by tahina-pro
February 1, 2025 19:14 39m 39s _taramana_pulse
February 1, 2025 19:14 39m 39s
EverParse+Pulse: Verified parsing and serialization with separation logic
Build everparse package (windows) #25: Pull request #155 synchronize by tahina-pro
January 28, 2025 22:22 20m 34s _taramana_pulse
January 28, 2025 22:22 20m 34s
EverParse+Pulse: Verified parsing and serialization with separation logic
Build everparse package (windows) #24: Pull request #155 synchronize by tahina-pro
January 26, 2025 18:06 41m 26s _taramana_pulse
January 26, 2025 18:06 41m 26s
Allow packaging and releasing from a F* source package
Build everparse package (windows) #23: Pull request #167 synchronize by tahina-pro
January 24, 2025 21:55 41m 23s _taramana_release_from_fstar_src
January 24, 2025 21:55 41m 23s
CI: also checkout submodules
Build everparse package (windows) #22: Commit 03a571f pushed by tahina-pro
January 23, 2025 02:52 1m 45s _taramana_release_20250122
January 23, 2025 02:52 1m 45s
try another fix
Build everparse package (windows) #21: Commit 15ec21e pushed by tahina-pro
January 23, 2025 02:37 12m 5s _taramana_release_20250122
January 23, 2025 02:37 12m 5s
in A=B command, A=B cannot be read from a variable without env
Build everparse package (windows) #20: Commit 63dd6cc pushed by tahina-pro
January 22, 2025 23:51 5m 7s _taramana_release_20250122
January 22, 2025 23:51 5m 7s
TEMP: build at every push on this branch
Build everparse package (windows) #19: Commit 5371df6 pushed by tahina-pro
January 22, 2025 23:44 4m 0s _taramana_release_20250122
January 22, 2025 23:44 4m 0s
Build everparse package (windows)
Build everparse package (windows) #18: Manually run by tahina-pro
January 22, 2025 23:25 4m 50s _taramana_release_20250122
January 22, 2025 23:25 4m 50s
Build everparse package (windows)
Build everparse package (windows) #17: Manually run by tahina-pro
January 22, 2025 23:17 2m 25s _taramana_release_20250122
January 22, 2025 23:17 2m 25s
Build everparse package (windows)
Build everparse package (windows) #16: Manually run by tahina-pro
January 22, 2025 23:08 4m 44s _taramana_release_20250122
January 22, 2025 23:08 4m 44s
Build everparse package (windows)
Build everparse package (windows) #15: Manually run by tahina-pro
January 22, 2025 19:11 22m 41s _taramana_windows_ci
January 22, 2025 19:11 22m 41s
Build everparse package (windows)
Build everparse package (windows) #14: Manually run by tahina-pro
January 22, 2025 18:35 21m 43s _taramana_windows_ci
January 22, 2025 18:35 21m 43s
Build everparse package (windows)
Build everparse package (windows) #13: Manually run by tahina-pro
January 22, 2025 18:15 11m 47s _taramana_windows_ci
January 22, 2025 18:15 11m 47s
Build everparse package (windows)
Build everparse package (windows) #12: Manually run by tahina-pro
January 22, 2025 03:09 39m 27s _taramana_windows_ci
January 22, 2025 03:09 39m 27s
Replace Windows CI workflow with #165
Build everparse package (windows) #11: Pull request #166 opened by tahina-pro
January 21, 2025 23:37 35s _taramana_windows_ci
January 21, 2025 23:37 35s
Build everparse package (windows)
Build everparse package (windows) #10: Manually run by mtzguido
January 19, 2025 19:25 21m 45s _guido_test
January 19, 2025 19:25 21m 45s
Build everparse package (windows)
Build everparse package (windows) #9: Manually run by mtzguido
January 19, 2025 18:55 21m 39s _guido_test
January 19, 2025 18:55 21m 39s
Build everparse package (windows)
Build everparse package (windows) #8: Manually run by mtzguido
January 19, 2025 18:12 11m 39s _guido_test
January 19, 2025 18:12 11m 39s
Build everparse package (windows)
Build everparse package (windows) #7: Manually run by mtzguido
January 19, 2025 05:01 27m 25s _guido_test
January 19, 2025 05:01 27m 25s
Build everparse package (windows)
Build everparse package (windows) #6: Manually run by mtzguido
January 18, 2025 10:29 2h 3m 3s _guido_test
January 18, 2025 10:29 2h 3m 3s
Build everparse package (windows)
Build everparse package (windows) #5: Manually run by mtzguido
January 18, 2025 10:01 26m 34s _guido_test
January 18, 2025 10:01 26m 34s
Build everparse package (windows)
Build everparse package (windows) #4: Manually run by mtzguido
January 18, 2025 07:39 19m 39s _guido_test
January 18, 2025 07:39 19m 39s
Build everparse package (windows)
Build everparse package (windows) #3: Manually run by mtzguido
January 18, 2025 06:57 26m 18s _guido_test
January 18, 2025 06:57 26m 18s
do not install F* deps
Build everparse package (windows) #2: Commit 934273a pushed by mtzguido
January 17, 2025 22:13 6s _guido_test
January 17, 2025 22:13 6s