Pranav Gaddamadugu
|
da7fcdcf04
|
Reorder templates
|
2023-10-07 11:22:38 -04:00 |
|
Frank Chen
|
e80b5b6c20
|
add simplified template for leo badge
|
2023-10-02 15:14:15 -07:00 |
|
Collin Chin
|
3c3543f6c6
|
Update release.yml
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
|
2023-09-26 13:11:05 -07:00 |
|
Collin Chin
|
ac0e474f29
|
Update release.yml (#2602)
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
|
2023-09-21 15:12:51 -07:00 |
|
collin
|
4a07b20df5
|
replace failing xcode-select installer for macos ci
|
2023-09-05 16:20:23 -07:00 |
|
Collin Chin
|
013809c076
|
implement leo example command for lottery, tictactoe, token (#2514)
* implement leo example command for lottery, tictactoe, token
* remove unused cli arg
* update github actions
* update github actions
|
2023-08-08 09:42:30 -07:00 |
|
Collin Chin
|
fd162a403b
|
remove brew update command from ci (#2445)
|
2023-07-05 15:45:06 -07:00 |
|
Collin Chin
|
8575c34ac5
|
add github action for testnet3 branch (#2228)
|
2023-01-03 18:18:18 -08:00 |
|
Collin Chin
|
ba5c4cfa41
|
Update Codecov to v3 (#2224)
* test 0 change to code coverage
* clippy: remove useless .into_iter()
* update codecov action v3
* remove unused codecov token
* remove space
|
2023-01-03 15:34:31 -08:00 |
|
sptg
|
c67742e560
|
Build Linux musl is required for leo web playground. (#2183)
|
2022-11-30 11:13:35 -08:00 |
|
collin
|
1e5142a8a2
|
prepare for testnet3 as repo branch
|
2022-07-18 18:28:23 -07:00 |
|
Eric McCarthy
|
2d365c49b5
|
tgc parsing for testnet3
|
2022-05-23 01:22:23 -07:00 |
|
collin
|
175e534731
|
Remove cd dir
|
2022-03-14 13:34:01 -07:00 |
|
collin
|
aceee46534
|
Replace broken scoop windows ci
|
2022-03-14 13:14:19 -07:00 |
|
collin
|
9799520f43
|
delete unused wasm ci
|
2022-02-22 15:13:50 -08:00 |
|
collin
|
cff31eeece
|
update dependabot branch target and dependencies
|
2022-02-17 14:21:39 -08:00 |
|
collin
|
8241d670a5
|
set dependabot target branch to testnet2
|
2022-02-16 10:12:43 -08:00 |
|
collin
|
9cd774d38f
|
comment out unused wasm ci
|
2022-02-07 17:16:52 -05:00 |
|
collin
|
31f90a9032
|
deprecate blake2s
|
2022-01-25 13:31:02 -08:00 |
|
collin
|
a5368fb12a
|
comment out wasm ci
|
2022-01-24 16:15:17 -08:00 |
|
gluax
|
64075cfd31
|
fix spelling mistake, re-add codecov
|
2022-01-21 13:13:15 -08:00 |
|
gluax
|
a367bfebe3
|
forgot we needed to update the ci's as well.
|
2022-01-21 12:15:10 -08:00 |
|
damirka
|
bce957e8f6
|
updates dependabot on master
|
2021-12-08 20:38:17 +03:00 |
|
damirka
|
85059a682d
|
Merge branch 'master' into leo-wasm
|
2021-09-25 12:14:46 +03:00 |
|
damirka
|
0aa6eabb0c
|
adds README, extends error object
|
2021-09-25 12:13:59 +03:00 |
|
damirka
|
aadd998665
|
fix matrix, remove sscache
|
2021-09-23 19:27:09 +03:00 |
|
damirka
|
e33b41ea1c
|
install wasm-pack with cargo
|
2021-09-23 19:24:43 +03:00 |
|
damirka
|
dbf40f9d23
|
add Rust to CI
|
2021-09-23 19:14:38 +03:00 |
|
damirka
|
6ffd8a5e49
|
fix name of the CI
|
2021-09-23 19:06:27 +03:00 |
|
damirka
|
5d7fea6215
|
adds a CI
|
2021-09-23 18:59:36 +03:00 |
|
Eric McCarthy
|
7f1277940b
|
[tgc CI] make log more readable; allow tgc type inference to run even if there is a tgc canonicalization failure
|
2021-09-16 12:35:22 -07:00 |
|
Damir S
|
0bc843f8f6
|
Update acl2.yml
|
2021-08-31 20:41:04 +03:00 |
|
damirka
|
ab01d45bfc
|
enable ti
|
2021-08-31 20:29:50 +03:00 |
|
damirka
|
3a60404038
|
remove output
|
2021-08-31 20:23:40 +03:00 |
|
damirka
|
2c66f5589b
|
workflow dispatch
|
2021-08-31 20:23:11 +03:00 |
|
gluaxspeed
|
a4652829df
|
update conflicting tests
|
2021-08-27 04:50:42 -07:00 |
|
damirka
|
9579a430d7
|
attach theorem.lisp file
|
2021-08-24 22:34:00 +03:00 |
|
damirka
|
e0c2f6470f
|
Revert "try acl2 version v0.1.1"
This reverts commit 31786a9180 .
|
2021-08-24 22:09:32 +03:00 |
|
damirka
|
31786a9180
|
try acl2 version v0.1.1
|
2021-08-24 21:57:50 +03:00 |
|
gluaxspeed
|
1576f776f3
|
resolve master conflicts
|
2021-08-24 03:00:08 -07:00 |
|
damirka
|
63ac4b79a3
|
update implementation, follow recent changes in imports
|
2021-08-21 21:04:58 +03:00 |
|
damirka
|
05d04e2a43
|
disable type inference checks
|
2021-08-21 20:56:08 +03:00 |
|
damirka
|
5453225b5d
|
fix bash variables
|
2021-08-19 20:28:43 +03:00 |
|
damirka
|
529c06623b
|
fix logging, print list of failures first
|
2021-08-19 20:21:59 +03:00 |
|
damirka
|
cddc0d62b1
|
skip access_all test
|
2021-08-19 20:10:15 +03:00 |
|
gluaxspeed
|
3f3d84dcdd
|
accidentally copied half a block in ci.yml
|
2021-08-19 06:09:19 -07:00 |
|
gluaxspeed
|
e90228b295
|
type aliases
|
2021-08-19 06:04:44 -07:00 |
|
damirka
|
060513bffa
|
cleanup and remove panic
|
2021-08-19 13:28:22 +03:00 |
|
damirka
|
35f56cd648
|
more intelligent system for printing out failures
|
2021-08-19 11:14:13 +03:00 |
|
damirka
|
a8cf416a77
|
Merge branch 'master' into feature-tgc-ci
|
2021-08-19 10:58:22 +03:00 |
|