5415662236

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
5415662236	main	Fix README build status shield c.f. badges/shields#8671	push	29 Jun 2023 06:52PM UTC	edgarogh	github	pending completion
5415615247	main	Clippy + update to more modern Rust	push	29 Jun 2023 06:46PM UTC	edgarogh	github	pending completion
813449014	main	Update README.md	push	05 May 2021 12:53PM UTC	GitHub	github	pending completion
810535334	main	Rename project and fix authors	push	04 May 2021 03:32PM UTC	Edgar Onghena	github	pending completion
808525429	main	Merge pull request #20 from edgarogh/varisat	push	04 May 2021 12:37AM UTC	GitHub	github	pending completion
808521577	varisat	Merge 9e3f85964 into 6576537da	Pull #20	04 May 2021 12:35AM UTC	GitHub	github	pending completion
808510325	main	Merge rules	push	04 May 2021 12:27AM UTC	GitHub	github	pending completion
808505206	rules	Merge 38df59269 into fc337ca7b	Pull #19	04 May 2021 12:25AM UTC	GitHub	github	pending completion
796838339	rule3	Merge e85e9351f into fc337ca7b	Pull #17	29 Apr 2021 05:02PM UTC	GitHub	github	pending completion
796817401	rule3	Merge c309bd424 into fc337ca7b	Pull #17	29 Apr 2021 04:59PM UTC	GitHub	github	pending completion
796817401	rule3	Merge c309bd424 into fc337ca7b	Pull #17	29 Apr 2021 04:54PM UTC	GitHub	github	pending completion
796666628	rule3	Merge 04fcc54c1 into fc337ca7b	Pull #17	29 Apr 2021 04:08PM UTC	GitHub	github	pending completion
796666628	rule3	Merge 04fcc54c1 into fc337ca7b	Pull #17	29 Apr 2021 04:01PM UTC	GitHub	github	pending completion
796664325	rule3	Merge f71df5a74 into fc337ca7b	Pull #17	29 Apr 2021 04:01PM UTC	GitHub	github	pending completion
794359053	rule3	Merge a1bc54eb9 into fc337ca7b	Pull #17	28 Apr 2021 11:46PM UTC	GitHub	github	pending completion

← Previous
1
2
Next →