Skip to content

Actions: eLyKseeR/elykseer-cpp

Compilation of project with submodules and verification by unit tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
This workflow was disabled manually.
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Follow formal specification in coq
Compilation of project with submodules and verification by unit tests #68: Pull request #25 opened by CodiePP
February 3, 2024 22:30 43s follow_formal_specification_in_coq
February 3, 2024 22:30 43s
Merge branch '46_get_username'
Compilation of project with submodules and verification by unit tests #67: Commit 47c86fb pushed by CodiePP
January 6, 2024 20:37 5m 27s main
January 6, 2024 20:37 5m 27s
cmake fixes
Compilation of project with submodules and verification by unit tests #66: Commit 348e816 pushed by CodiePP
December 19, 2023 07:06 6m 16s main
December 19, 2023 07:06 6m 16s
Merge remote-tracking branch 'origin/update_elykseer_crypto'
Compilation of project with submodules and verification by unit tests #65: Commit ded688f pushed by CodiePP
November 27, 2023 22:02 5m 30s main
November 27, 2023 22:02 5m 30s
format not available in GCC12
Compilation of project with submodules and verification by unit tests #64: Commit dd1ee6d pushed by CodiePP
November 13, 2023 21:12 7m 22s main
November 13, 2023 21:12 7m 22s
Update README.md (#22)
Compilation of project with submodules and verification by unit tests #63: Commit 93acac3 pushed by CodiePP
November 5, 2023 16:54 7m 13s main
November 5, 2023 16:54 7m 13s
Update README.md
Compilation of project with submodules and verification by unit tests #62: Pull request #22 opened by CodiePP
November 5, 2023 16:54 38s corr_readme
November 5, 2023 16:54 38s
Cross compilation on Darwin to Windows (#42)
Compilation of project with submodules and verification by unit tests #61: Commit 2247d93 pushed by CodiePP
November 4, 2023 21:45 5m 43s main
November 4, 2023 21:45 5m 43s
Update deps (#21)
Compilation of project with submodules and verification by unit tests #60: Commit 958cb69 pushed by CodiePP
October 27, 2023 06:08 12m 11s main
October 27, 2023 06:08 12m 11s
Update deps
Compilation of project with submodules and verification by unit tests #59: Pull request #21 synchronize by CodiePP
October 26, 2023 19:30 12m 27s update_deps
October 26, 2023 19:30 12m 27s
Update deps
Compilation of project with submodules and verification by unit tests #58: Pull request #21 opened by CodiePP
October 26, 2023 18:02 2m 10s update_deps
October 26, 2023 18:02 2m 10s
increase_assembly_datasz (#41)
Compilation of project with submodules and verification by unit tests #57: Commit 67f8a6e pushed by CodiePP
October 21, 2023 22:34 10m 3s main
October 21, 2023 22:34 10m 3s