247 Commits

Author	SHA1	Message	Date
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
damirka	2c7a2b804d	adds type inference stage	2021-08-19 10:46:28 +03:00
gluaxspeed	0feccf6353	m1 test was infinitely looping	2021-08-18 15:37:42 -07:00
damirka	52b2a4a3cb	final cleanup	2021-08-18 17:51:50 +03:00
damirka	bc6ad13930	adds exit code and error printing	2021-08-18 14:53:18 +03:00
damirka	a511638021	try to run it all together	2021-08-17 13:27:23 +03:00
damirka	2ec1065c18	fix pipes, make oneliner	2021-08-17 13:16:05 +03:00
damirka	5a1bf7e26e	adds mkdir tmp	2021-08-17 13:15:00 +03:00
damirka	a1cc026c58	use curl to fetch	2021-08-17 13:14:00 +03:00
damirka	7e8da8cc80	add echo outputs	2021-08-17 13:10:02 +03:00
damirka	775109f40c	yet another change of version	2021-08-17 13:07:23 +03:00
damirka	b1cf6024d7	add v2 to action	2021-08-17 13:06:07 +03:00
damirka	e05cca47ff	remove version from fetch-latest-release	2021-08-17 13:04:38 +03:00
damirka	56ce8558df	change action to a different one	2021-08-17 13:03:10 +03:00
damirka	031cc98077	test release fetcher	2021-08-17 10:44:44 +03:00
gluaxspeed	e9ffacda41	difference is CRLF vs LF somehow	2021-08-12 09:11:54 -07:00
gluaxspeed	e69e81110e	debug windows ci this time	2021-08-12 04:44:45 -07:00
gluaxspeed	d0d1203381	use test all features again just pass --all	2021-08-12 04:11:16 -07:00
gluaxspeed	ab5fcecae2	more debugging	2021-08-12 02:42:42 -07:00
gluaxspeed	bd0032e98b	realized not all tests were being run with cargo test-all-features	2021-08-12 02:25:43 -07:00
gluaxspeed	93d2871332	wasn't a caching issue, I'm not sure	2021-08-11 00:09:22 -07:00
gluaxspeed	a17b0ee888	typo fix	2021-08-10 23:57:19 -07:00
gluaxspeed	5ab562386a	my only guess is caching is messing up code coverage	2021-08-10 23:54:24 -07:00
gluaxspeed	622ff5a9c3	finish docs, setup ci to publish docs pages, test docs generation	2021-08-10 19:59:27 -07:00
gluaxspeed	2f045e13cc	create docs job, update ciricle ci rust version	2021-08-10 14:35:30 -07:00
damirka	97645eb443	remove comments, update circleci to rust 1.54	2021-08-09 21:57:15 -07:00
damirka	98ee5af387	collect failures	2021-08-09 21:55:03 -07:00
damirka	64e3432985	change to stable toolchain	2021-08-09 21:55:03 -07:00
damirka	595ae607f9	draft CI for acl2 -- without binaries	2021-08-09 21:51:54 -07:00
Alessandro Coglio	8e8e3fdf42	Merge pull request #1150 from AleoHQ/feature/remove-nightly-support ... [Feature] Deprecate Nightly + OS CIs	2021-08-03 14:59:07 -07:00
damirka	14a5fbb33e	bump snarkvm-dpc to 0.7.6	2021-08-03 02:16:51 +03:00
gluaxspeed	dc37ef37f2	cache codecov and m1	2021-07-14 18:07:49 -07:00
gluaxspeed	8596e2cd1f	Fix some github-actions yaml syntax	2021-07-14 18:07:11 -07:00
gluaxspeed	b8dcad44cc	tests on github actions its easier cache platforms	2021-07-14 18:05:40 -07:00
gluaxspeed	315dcebb34	fmt stable only features, test all the platforms, cc stable	2021-07-14 13:55:01 -07:00
gluaxspeed	1168354a5c	ci changes remove nightly asides from fmt	2021-07-14 13:26:32 -07:00
gluaxspeed	dd016f46ad	remove CARGO_NET_GIT_FETCH_WITH_CLI: true	2021-07-08 11:29:20 -07:00
Howard Wu	72b25a7f22	Merge pull request #902 from AleoHQ/dependabot/add-v2-config-file ... Upgrade to GitHub-native Dependabot	2021-06-21 14:31:18 -07:00
damirka	b9431fb4ac	cleanup	2021-06-16 15:21:11 +03:00
damirka	0b49f0c9ad	one more fix for cargo config	2021-06-16 15:05:29 +03:00
damirka	505aac2dc2	fixes cargo config	2021-06-16 14:48:29 +03:00
damirka	d0b05778fc	adds build for apple silicon	2021-06-16 14:23:22 +03:00
dependabot-preview[bot]	46d2dcc83b	Upgrade to GitHub-native Dependabot	2021-04-29 15:43:55 +00:00
Howard Wu	2aabb09468	Adds a noconfig feature for release builds	2021-03-31 22:14:03 -07:00
Howard Wu	19e3bfc253	Merge pull request #639 from dev-sptg/fix-windows-build ... Fix build for windows 64 bit	2021-03-31 21:26:27 -07:00
howardwu	d78692b4dd	Clean up	2021-03-15 23:15:03 -07:00
howardwu	7259dbabb3	Revert codecov	2021-03-15 22:53:26 -07:00
howardwu	cf315f4ed6	Switch test infrastructure to CircleCI	2021-03-15 20:34:37 -07:00
howardwu	5b6cfd5c77	Removes leo setup from GA	2021-02-24 22:34:19 -08:00
howardwu	6f1f295ec5	Removes leo login and logout GA	2021-02-24 22:34:01 -08:00
howardwu	4cb0334453	Removes leo add and remove GA	2021-02-24 22:04:27 -08:00
howardwu	303c69e863	Add leo add and remove to circleci	2021-02-24 21:59:06 -08:00
howardwu	808e631014	Add leo clean to circleci	2021-02-24 21:45:06 -08:00
Collin Chin	558c974ae0	Merge pull request #590 from AleoHQ/feature/bors-badge ... [CI] Add bors	2021-02-10 20:35:06 -08:00