Skip to content

Actions: daniel-larraz/ethos

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improvements to error messages (#96)
CI #37: Commit 71758c6 pushed by daniel-larraz
November 23, 2024 21:47 2m 0s main
November 23, 2024 21:47 2m 0s
ci: Add platform-dependent artifact setup (#93)
CI #36: Commit acd9a1e pushed by daniel-larraz
November 12, 2024 03:39 1m 36s main
November 12, 2024 03:39 1m 36s
November 7, 2024 21:48 1m 40s
Test
CI #34: Commit 452c103 pushed by daniel-larraz
November 7, 2024 21:33 1m 32s test-ci-artifact-action
November 7, 2024 21:33 1m 32s
Add COPYING and license files
CI #33: Commit f38a350 pushed by daniel-larraz
November 7, 2024 21:30 1m 43s ci-artifact-action
November 7, 2024 21:30 1m 43s
ci: Add platform-dependent artifact setup
CI #32: Commit 4c327d1 pushed by daniel-larraz
November 6, 2024 15:45 1m 37s ci-artifact-action
November 6, 2024 15:45 1m 37s
Fix
CI #31: Commit e41e5de pushed by daniel-larraz
November 6, 2024 15:30 1m 32s test-ci-upload-artifact
November 6, 2024 15:30 1m 32s
Test
CI #30: Commit a0e5f59 pushed by daniel-larraz
November 6, 2024 15:28 54s test-ci-upload-artifact
November 6, 2024 15:28 54s
ci: Add platform-dependent artifact setup
CI #29: Commit 26994ff pushed by daniel-larraz
November 6, 2024 15:27 1m 35s ci-upload-artifact
November 6, 2024 15:27 1m 35s
ci: Add platform-dependent artifact setup
CI #28: Commit da17b04 pushed by daniel-larraz
November 6, 2024 15:13 1m 33s ci-artifact
November 6, 2024 15:13 1m 33s
Test
CI #27: Commit ff321e3 pushed by daniel-larraz
November 6, 2024 14:43 1m 33s test-ci-win-bin-ext
November 6, 2024 14:43 1m 33s
ci: Use .exe extension for Windows binary
CI #26: Commit 762994e pushed by daniel-larraz
November 6, 2024 14:42 1m 47s ci-win-bin-ext
November 6, 2024 14:42 1m 47s
Add configure.sh script (#89)
CI #25: Commit 5b74e02 pushed by daniel-larraz
November 5, 2024 22:03 1m 34s main
November 5, 2024 22:03 1m 34s
Fix bug involving simulataneous shadowing (#90)
CI #24: Commit 84dd280 pushed by daniel-larraz
November 1, 2024 23:16 1m 44s main
November 1, 2024 23:16 1m 44s
Fix configure.sh name in GH workflow
CI #23: Commit bd1eeaa pushed by daniel-larraz
October 31, 2024 21:23 1m 34s configure-script
October 31, 2024 21:23 1m 34s
cmake: Add configure.sh script
CI #22: Commit 4542f4f pushed by daniel-larraz
October 31, 2024 21:21 26s configure-script
October 31, 2024 21:21 26s
October 31, 2024 20:08 1m 58s
Fix bug in eo::cons for left associative operators (#81)
CI #20: Commit 83ddd3d pushed by daniel-larraz
October 24, 2024 19:29 2m 8s main
October 24, 2024 19:29 2m 8s
Support set-option in proof and signature files (#77)
CI #19: Commit ad6e44c pushed by daniel-larraz
September 17, 2024 03:42 1m 41s main
September 17, 2024 03:42 1m 41s
Add support for Windows builds (#74)
CI #18: Commit 444f2d2 pushed by daniel-larraz
September 6, 2024 18:57 1m 41s main
September 6, 2024 18:57 1m 41s
Add support for Windows builds
CI #17: Commit e1a9ead pushed by daniel-larraz
September 6, 2024 17:06 1m 40s windows-build
September 6, 2024 17:06 1m 40s
cmake: Add option to enable/disable Oracles (#72)
CI #16: Commit 54710cd pushed by daniel-larraz
September 6, 2024 16:38 1m 14s main
September 6, 2024 16:38 1m 14s
Make std::filesystem code work again (#73)
CI #15: Commit 8431087 pushed by daniel-larraz
September 3, 2024 17:30 2m 16s main
September 3, 2024 17:30 2m 16s
Convert path to string
CI #14: Commit ace007c pushed by daniel-larraz
August 31, 2024 17:42 1m 30s ga-test2
August 31, 2024 17:42 1m 30s
Add constructor
CI #13: Commit 3005f81 pushed by daniel-larraz
August 31, 2024 15:00 1m 29s ga-test2
August 31, 2024 15:00 1m 29s