Skip to content

Actions: yugr/Implib.so

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
79 workflow runs
79 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do not link extraneous libs in Musl case. CI #170: Commit 162bdb4 pushed by yugr
January 27, 2025 05:20 2m 31s master
master
January 27, 2025 05:20 2m 31s
Clarify FIXME. CI #169: Commit f5f7738 pushed by yugr
January 26, 2025 12:33 2m 51s master
master
January 26, 2025 12:33 2m 51s
Add tests with musl libc. CI #168: Commit 7004d5b pushed by yugr
January 26, 2025 12:15 4m 38s master
master
January 26, 2025 12:15 4m 38s
Fix typo. CI #167: Commit 22cae50 pushed by yugr
January 26, 2025 09:11 3m 37s master
master
January 26, 2025 09:11 3m 37s
Fix coverage run. CI #166: Commit ccbca9b pushed by yugr
January 26, 2025 09:07 2m 37s master
master
January 26, 2025 09:07 2m 37s
Update benchmark. CI #165: Commit 1839230 pushed by yugr
January 26, 2025 08:31 2m 10s master
master
January 26, 2025 08:31 2m 10s
Added simple benchmark. CI #164: Commit 9b12cb7 pushed by yugr
January 26, 2025 08:08 2m 7s master
master
January 26, 2025 08:08 2m 7s
Call dlclose enough times. CI #163: Commit 4c9c41f pushed by yugr
January 26, 2025 06:51 2m 52s master
master
January 26, 2025 06:51 2m 52s
Update script comments. CI #162: Commit be4eab3 pushed by yugr
January 25, 2025 07:55 2m 7s master
master
January 25, 2025 07:55 2m 7s
Added comment in spec. CI #161: Commit a990595 pushed by yugr
January 24, 2025 08:12 2m 21s master
master
January 24, 2025 08:12 2m 21s
Thread-safe library initialization CI #160: Pull request #37 synchronize by yugr
January 24, 2025 07:59 2m 45s threads/1
threads/1
January 24, 2025 07:59 2m 45s
Thread-safe library initialization CI #159: Pull request #37 synchronize by yugr
January 23, 2025 13:52 3m 55s threads/1
threads/1
January 23, 2025 13:52 3m 55s
Thread-safe library initialization CI #158: Pull request #37 synchronize by yugr
January 23, 2025 13:37 3m 8s threads/1
threads/1
January 23, 2025 13:37 3m 8s
Thread-safe library initialization CI #157: Pull request #37 synchronize by yugr
January 22, 2025 14:40 3m 41s threads/1
threads/1
January 22, 2025 14:40 3m 41s
Minor fixes in tests. CI #156: Commit 3cff3c2 pushed by yugr
January 22, 2025 14:40 2m 58s threads/1
threads/1
January 22, 2025 14:40 2m 58s
Thread-safe library initialization CI #155: Pull request #37 synchronize by yugr
January 22, 2025 12:03 3m 46s threads/1
threads/1
January 22, 2025 12:03 3m 46s
Added simple TLA+ model of Implib.so initialization code. CI #154: Commit 58aebdb pushed by yugr
January 22, 2025 12:03 2m 35s threads/1
threads/1
January 22, 2025 12:03 2m 35s
Model library construction. CI #153: Commit 98a007a pushed by yugr
January 22, 2025 11:31 4m 39s tla/1
tla/1
January 22, 2025 11:31 4m 39s
Thread-safe library initialization CI #152: Pull request #37 synchronize by yugr
January 22, 2025 11:30 3m 50s threads/1
threads/1
January 22, 2025 11:30 3m 50s
Remove redundant barrier. CI #151: Commit 6d5c357 pushed by yugr
January 22, 2025 11:30 2m 48s threads/1
threads/1
January 22, 2025 11:30 2m 48s
Thread-safe library initialization CI #150: Pull request #37 synchronize by yugr
January 20, 2025 16:18 3m 40s threads/1
threads/1
January 20, 2025 16:18 3m 40s
Fix Tsan checks. CI #149: Commit 05d9492 pushed by yugr
January 20, 2025 16:18 2m 34s threads/1
threads/1
January 20, 2025 16:18 2m 34s
Thread-safe library initialization CI #148: Pull request #37 synchronize by yugr
January 20, 2025 16:06 3m 17s threads/1
threads/1
January 20, 2025 16:06 3m 17s
Fix Tsan checks. CI #147: Commit bb902d3 pushed by yugr
January 20, 2025 16:06 2m 41s threads/1
threads/1
January 20, 2025 16:06 2m 41s
Thread-safe library initialization CI #146: Pull request #37 synchronize by yugr
January 20, 2025 15:52 4m 5s threads/1
threads/1
January 20, 2025 15:52 4m 5s