Delyan Angelov
|
d91c7f1b3b
|
tools: use --filter=blob:none to reduce initial network trafic for most of the git clone commands, done by tools like oldv, gen_vc, fast_job, v translate etc
|
2023-08-04 11:50:30 +03:00 |
|
Alexander Medvednikov
|
6756d28595
|
all: 2023 copyright
|
2023-03-28 22:55:57 +02:00 |
|
yuyi
|
017ace6ea7
|
vfmt: change all '$expr' to '${expr}' (#16428)
|
2022-11-15 16:53:13 +03:00 |
|
Delyan Angelov
|
7bd00b7580
|
tools: make fast_job.v more verbose and robust to compilation failures in fast.v, and to what compiler exactly was used to compile fast_job.v itself.
|
2022-11-02 13:26:12 +02:00 |
|
Delyan Angelov
|
82dc9ca434
|
tools: make fast.v results more robust to AWS spikes (increase samples, discard the top few)
|
2022-11-02 13:03:30 +02:00 |
|
Delyan Angelov
|
bd7c86a9d4
|
tools: make fast_job.v more informative on updates
|
2022-11-01 16:12:36 +02:00 |
|
Delyan Angelov
|
32ce3d9149
|
tools: make fast_job.v more robust
|
2022-11-01 15:49:23 +02:00 |
|
vlang-bot
|
9cdec87255
|
tools: add more logging for fast_job.v, to ease maintainance
|
2022-11-01 10:54:12 +00:00 |
|
Alexander Medvednikov
|
59ed4be49a
|
all: update copyright year
|
2022-01-04 12:21:12 +03:00 |
|
Alexander Medvednikov
|
e6d79f2fa7
|
ci: run fast.v on freebsd
|
2021-08-15 09:27:17 +03:00 |
|
Alexander Medvednikov
|
1bfb525ce1
|
tools/fast: improve uploading to gh pages and print errors
|
2021-08-15 09:03:19 +03:00 |
|
Delyan Angelov
|
5098334e65
|
os: add execute_or_exit(cmd), use it consistently instead of execute_or_panic(cmd)
|
2021-07-20 15:22:04 +03:00 |
|
Alexander Medvednikov
|
dc034d9b16
|
vweb: make thread safe; checker: $if T is Interface {
|
2021-05-11 09:30:18 +03:00 |
|
Delyan Angelov
|
d7049ae2da
|
os: deprecate os.exec (returning ?os.Result), in favour of os.execute, which returns os.Result (#8974)
|
2021-03-08 20:52:13 +02:00 |
|
Alexander Medvednikov
|
3a2d696fac
|
time: time.wait() => time.sleep()
|
2021-02-27 20:41:06 +03:00 |
|
zakuro
|
ac4791045f
|
time: consolidate the different sleep functions into time.wait(Duration) (#8853)
|
2021-02-21 17:05:03 +02:00 |
|
Alexander Medvednikov
|
32cd2846f5
|
tools/fast: run the job every minute
|
2021-02-07 04:01:02 +01:00 |
|
Alexander Medvednikov
|
d284918554
|
tools/fast: push changes to gh pages
|
2021-02-07 03:35:29 +01:00 |
|
Alexander Medvednikov
|
26121d5ae7
|
tools/fast: cron job to check for new commits
|
2021-02-06 22:28:42 +01:00 |
|