Skip to content

Actions: urbit/vere

Feature pull request

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
503 workflow runs
503 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build: upgrade gmp to 6.3.0
Feature pull request #1350: Pull request #735 synchronize by pkova
October 17, 2024 14:25 17m 32s pkova/gmp-6.3
October 17, 2024 14:25 17m 32s
build: upgrade gmp to 6.3.0
Feature pull request #1349: Pull request #735 synchronize by pkova
October 17, 2024 14:13 6m 28s pkova/gmp-6.3
October 17, 2024 14:13 6m 28s
build: add build opts for enabling sanitizers
Feature pull request #1348: Pull request #731 synchronize by ripperi
October 11, 2024 09:50 16m 19s ripa/ubsan-asan
October 11, 2024 09:50 16m 19s
Fix generated GMP assembly sources on x86_64 linux
Feature pull request #1347: Pull request #733 synchronize by ripperi
October 10, 2024 16:39 21m 57s ripa/gmp-gen-fix
October 10, 2024 16:39 21m 57s
build: add build opts for enabling sanitizers
Feature pull request #1346: Pull request #731 synchronize by ripperi
October 10, 2024 16:37 34s ripa/ubsan-asan
October 10, 2024 16:37 34s
build: add build opts for enabling sanitizers
Feature pull request #1345: Pull request #731 synchronize by ripperi
October 10, 2024 16:37 1m 35s ripa/ubsan-asan
October 10, 2024 16:37 1m 35s
build: add build opts for enabling sanitizers
Feature pull request #1344: Pull request #731 synchronize by ripperi
October 9, 2024 14:50 22m 30s ripa/ubsan-asan
October 9, 2024 14:50 22m 30s
build: add build opts for enabling sanitizers
Feature pull request #1343: Pull request #731 opened by ripperi
October 9, 2024 14:41 22m 21s ripa/ubsan-asan
October 9, 2024 14:41 22m 21s
ci: fix latest deployed version string
Feature pull request #1342: Pull request #730 synchronize by ripperi
October 8, 2024 19:50 23s ripa/ci-fix-latest
October 8, 2024 19:50 23s
ci: fix latest deployed version string
Feature pull request #1341: Pull request #730 synchronize by ripperi
October 8, 2024 19:48 45s ripa/ci-fix-latest
October 8, 2024 19:48 45s
ci: fix latest deployed version string
Feature pull request #1340: Pull request #730 opened by ripperi
October 8, 2024 19:31 2m 38s ripa/ci-fix-latest
October 8, 2024 19:31 2m 38s
ci: change context of docker build steps
Feature pull request #1339: Pull request #729 opened by ripperi
October 8, 2024 17:54 1m 53s ripa/fix-docker-ci
October 8, 2024 17:54 1m 53s
ci: change working directory of docker build steps
Feature pull request #1338: Pull request #728 opened by ripperi
October 8, 2024 17:20 15s ripa/fix-docker-ci
October 8, 2024 17:20 15s
ci: fix gcloud upload
Feature pull request #1337: Pull request #727 opened by ripperi
October 8, 2024 17:04 23s ripa/fix-ci-gcloud-upload
October 8, 2024 17:04 23s
ci: fix typo in docker-shared.yml
Feature pull request #1336: Pull request #725 opened by ripperi
October 8, 2024 16:30 13m 12s ripa/fix-ci-typo
October 8, 2024 16:30 13m 12s
zig build system
Feature pull request #1335: Pull request #719 synchronize by pkova
October 8, 2024 16:08 16m 51s ripa/zig
October 8, 2024 16:08 16m 51s
zig build system
Feature pull request #1334: Pull request #719 synchronize by ripperi
October 8, 2024 16:06 16m 46s ripa/zig
October 8, 2024 16:06 16m 46s
misc: fix tons of undefined behavior vol 2
Feature pull request #1333: Pull request #723 synchronize by pkova
October 8, 2024 15:27 16m 7s pkova/undefined2
October 8, 2024 15:27 16m 7s
misc: fix tons of undefined behavior vol 2
Feature pull request #1332: Pull request #723 synchronize by pkova
October 8, 2024 15:25 1m 6s pkova/undefined2
October 8, 2024 15:25 1m 6s
zig build system
Feature pull request #1331: Pull request #719 synchronize by ripperi
October 3, 2024 15:14 16m 28s ripa/zig
October 3, 2024 15:14 16m 28s
zig build system
Feature pull request #1330: Pull request #719 synchronize by ripperi
October 3, 2024 15:13 16m 16s ripa/zig
October 3, 2024 15:13 16m 16s
events: do not read garbage memory on empty control files
Feature pull request #1329: Pull request #724 opened by pkova
October 3, 2024 13:43 16m 40s pkova/control
October 3, 2024 13:43 16m 40s
zig build system
Feature pull request #1328: Pull request #719 synchronize by ripperi
October 3, 2024 13:25 16m 32s ripa/zig
October 3, 2024 13:25 16m 32s
Add %jinx hint to Vere.
Feature pull request #1327: Pull request #648 synchronize by sigilante
October 2, 2024 20:30 17h 22m 19s sigilante/timeout
October 2, 2024 20:30 17h 22m 19s
misc: fix tons of undefined behavior vol 2
Feature pull request #1326: Pull request #723 opened by pkova
October 2, 2024 16:27 23m 46s pkova/undefined2
October 2, 2024 16:27 23m 46s