Skip to content

Actions: urbit/vere

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
794 workflow runs
794 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge 3.2 to edge Feature pull request #1358: Pull request #738 synchronize by pkova
October 22, 2024 12:32 15m 12s mesa-pairs
mesa-pairs
October 22, 2024 12:32 15m 12s
Merge 3.2 to edge Feature pull request #1357: Pull request #738 opened by pkova
October 21, 2024 14:47 1h 13m 47s mesa-pairs
mesa-pairs
October 21, 2024 14:47 1h 13m 47s
Deploy once Deploy once #20: Manually run by joemfb
October 18, 2024 15:45 1h 4m 11s jb/melt
jb/melt
October 18, 2024 15:45 1h 4m 11s
vere: adds melt, on-loom meld Feature pull request #1356: Pull request #632 synchronize by joemfb
October 17, 2024 20:56 24m 18s jb/melt
jb/melt
October 17, 2024 20:56 24m 18s
vere: kelvin 410 Feature pull request #1355: Pull request #630 synchronize by pkova
October 17, 2024 19:48 24m 17s next/kelvin/410
next/kelvin/410
October 17, 2024 19:48 24m 17s
Merge develop to next/kelvin/410 (#737) Push to next/kelvin/* #49: Commit 24054c9 pushed by pkova
October 17, 2024 19:48 24m 58s next/kelvin/410
next/kelvin/410
October 17, 2024 19:48 24m 58s
Merge develop to next/kelvin/410 Feature pull request #1354: Pull request #737 synchronize by pkova
October 17, 2024 18:56 23m 31s pkova/mergeman
pkova/mergeman
October 17, 2024 18:56 23m 31s
Merge develop to next/kelvin/410 Feature pull request #1353: Pull request #737 synchronize by pkova
October 17, 2024 16:22 6m 18s pkova/mergeman
pkova/mergeman
October 17, 2024 16:22 6m 18s
Merge develop to next/kelvin/410 Feature pull request #1352: Pull request #737 synchronize by pkova
October 17, 2024 16:07 5m 59s pkova/mergeman
pkova/mergeman
October 17, 2024 16:07 5m 59s
Merge develop to next/kelvin/410 Feature pull request #1351: Pull request #737 opened by pkova
October 17, 2024 16:04 45s pkova/mergeman
pkova/mergeman
October 17, 2024 16:04 45s
build: upgrade gmp to 6.3.0 (#735) Push to develop #258: Commit a537c85 pushed by pkova
October 17, 2024 14:43 23m 8s develop
develop
October 17, 2024 14:43 23m 8s
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
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
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
ripa/ubsan-asan
October 11, 2024 09:50 16m 19s
Fix generated GMP assembly sources on x86_64 linux (#733) Push to develop #257: Commit 218e8a1 pushed by pkova
October 10, 2024 17:01 22m 56s develop
develop
October 10, 2024 17:01 22m 56s
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
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
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
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
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
ripa/ubsan-asan
October 9, 2024 14:41 22m 21s
ci: fix latest deployed version string (#730) Push to develop #256: Commit 98bee2a pushed by pkova
October 9, 2024 10:20 23m 0s develop
develop
October 9, 2024 10:20 23m 0s
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
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
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
ripa/ci-fix-latest
October 8, 2024 19:31 2m 38s
ci: change context of docker build steps (#729) Push to develop #255: Commit f92fc1d pushed by pkova
October 8, 2024 18:50 23m 18s develop
develop
October 8, 2024 18:50 23m 18s