Skip to content

Actions: rurban/ctl

Actions

Minor C/C++ CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
minor.yml
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

slist.disconnect: -Wmaybe-uninitialized Minor C/C++ CI #784: Commit df057a1 pushed by rurban
February 16, 2024 19:42 4m 6s pqu-tests
pqu-tests
February 16, 2024 19:42 4m 6s
pqu: add DEBUG tests, empty() Minor C/C++ CI #783: Commit ce678b3 pushed by rurban
February 16, 2024 18:20 7m 44s pqu-tests
pqu-tests
February 16, 2024 18:20 7m 44s
pqu: add DEBUG tests Minor C/C++ CI #782: Commit 080a487 pushed by rurban
February 16, 2024 18:06 3m 31s pqu-tests
pqu-tests
February 16, 2024 18:06 3m 31s
WIP add u8ident Minor C/C++ CI #781: Commit 26c65e6 pushed by rurban
February 16, 2024 17:54 8m 56s u8ident
u8ident
February 16, 2024 17:54 8m 56s
add sorted_vector Minor C/C++ CI #780: Commit 3515a56 pushed by rurban
February 16, 2024 17:54 9m 42s svec
svec
February 16, 2024 17:54 9m 42s
work on c++ -std=c++98 compat WIP Minor C/C++ CI #779: Commit 72f598c pushed by rurban
February 16, 2024 17:54 7m 27s c++98
c++98
February 16, 2024 17:54 7m 27s
more PAIR stuff Minor C/C++ CI #778: Commit 79544af pushed by rurban
February 16, 2024 17:54 7m 30s map
map
February 16, 2024 17:54 7m 30s
u8string: derive directly from vector Minor C/C++ CI #777: Commit c0be835 pushed by rurban
February 16, 2024 17:54 5m 30s u8string
u8string
February 16, 2024 17:54 5m 30s
change unordered_set API, no hash, equal fields Minor C/C++ CI #776: Commit 93503ac pushed by rurban
February 16, 2024 17:54 10m 19s hash
hash
February 16, 2024 17:54 10m 19s
WIP play with ACSL contracts Minor C/C++ CI #775: Commit a56fca9 pushed by rurban
February 16, 2024 17:54 6m 21s acsl
acsl
February 16, 2024 17:54 6m 21s
WIP add btree_set Minor C/C++ CI #774: Commit 8e728f3 pushed by rurban
February 16, 2024 17:54 3m 49s btree
btree
February 16, 2024 17:54 3m 49s
WIP cbmc the normal tests Minor C/C++ CI #773: Commit d816608 pushed by rurban
February 16, 2024 17:54 7m 11s cbmc
cbmc
February 16, 2024 17:54 7m 11s
set: start working on join Minor C/C++ CI #772: Commit cee2e03 pushed by rurban
February 16, 2024 17:54 4m 51s set
set
February 16, 2024 17:54 4m 51s
use charpint.hh Minor C/C++ CI #771: Commit e38502f pushed by rurban
February 16, 2024 17:54 3m 26s hmap
hmap
February 16, 2024 17:54 3m 26s
add sorted_vector Minor C/C++ CI #770: Commit d064fed pushed by rurban
February 16, 2024 17:51 8m 12s svec
svec
February 16, 2024 17:51 8m 12s
add -mtune=native also Minor C/C++ CI #769: Commit 8c24174 pushed by rurban
February 16, 2024 17:40 5m 35s mtune-native
mtune-native
February 16, 2024 17:40 5m 35s
WIP add u8ident Minor C/C++ CI #768: Commit 6a43123 pushed by rurban
February 16, 2024 17:36 1m 18s u8ident
u8ident
February 16, 2024 17:36 1m 18s
docs: STC moved to stclib org Minor C/C++ CI #767: Commit e0ed45a pushed by rurban
February 16, 2024 17:31 5m 10s acsl
acsl
February 16, 2024 17:31 5m 10s
WIP add btree_set Minor C/C++ CI #766: Commit a1f1734 pushed by rurban
February 16, 2024 17:24 2m 1s btree
btree
February 16, 2024 17:24 2m 1s
WIP play with ACSL contracts Minor C/C++ CI #765: Commit 1761105 pushed by rurban
February 16, 2024 17:24 8m 28s acsl
acsl
February 16, 2024 17:24 8m 28s
add sorted_vector Minor C/C++ CI #764: Commit ff0e99e pushed by rurban
February 16, 2024 17:24 4m 24s svec
svec
February 16, 2024 17:24 4m 24s
u8string: derive directly from vector Minor C/C++ CI #763: Commit 0280092 pushed by rurban
July 17, 2023 11:26 10h 4m 31s u8string
u8string
July 17, 2023 11:26 10h 4m 31s
use charpint.hh Minor C/C++ CI #762: Commit 21ce989 pushed by rurban
July 17, 2023 11:26 10h 4m 58s hmap
hmap
July 17, 2023 11:26 10h 4m 58s
more PAIR stuff Minor C/C++ CI #761: Commit 7a77e72 pushed by rurban
July 17, 2023 11:26 10h 3m 16s map
map
July 17, 2023 11:26 10h 3m 16s
change unordered_set API, no hash, equal fields Minor C/C++ CI #760: Commit b59fc1b pushed by rurban
July 17, 2023 11:26 10h 5m 35s hash
hash
July 17, 2023 11:26 10h 5m 35s