Skip to content

Actions: magiclen/educe

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
58 workflow runs
58 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Add table of contents for traits in README
CI #79: Pull request #29 opened by ogios
June 28, 2024 11:25 Action required ogios:master
June 28, 2024 11:25 Action required
bump version
CI #77: Commit bc05181 pushed by magiclen
June 1, 2024 07:36 8m 20s v0.6.0
June 1, 2024 07:36 8m 20s
bump version
CI #76: Commit bc05181 pushed by magiclen
June 1, 2024 07:22 6m 15s master
June 1, 2024 07:22 6m 15s
bump version
CI #75: Commit f962522 pushed by magiclen
June 1, 2024 06:24 19m 2s v0.5.12
June 1, 2024 06:24 19m 2s
bump version
CI #74: Commit f962522 pushed by magiclen
June 1, 2024 06:24 6m 36s master
June 1, 2024 06:24 6m 36s
Merge branch 'ijackson-all-bounds'
CI #73: Commit 9e23e34 pushed by magiclen
June 1, 2024 06:14 6m 42s master
June 1, 2024 06:14 6m 42s
fix the bound_4 test case in ord_struct
CI #72: Commit fca9263 pushed by magiclen
June 1, 2024 06:05 6m 46s master
June 1, 2024 06:05 6m 46s
fix the bound_4 test case in partial_ord_struct
CI #71: Commit 63114a8 pushed by magiclen
June 1, 2024 05:54 6m 5s master
June 1, 2024 05:54 6m 5s
Merge branch 'ijackson-precise-bounds'
CI #70: Commit 2813ba0 pushed by magiclen
June 1, 2024 05:44 6m 31s master
June 1, 2024 05:44 6m 31s
June 1, 2024 05:03 6m 37s
Merge branch 'ijackson-common-lit'
CI #68: Commit e1aedcb pushed by magiclen
June 1, 2024 04:55 7m 46s master
June 1, 2024 04:55 7m 46s
Fix leaking bounds
CI #67: Pull request #24 synchronize by ijackson
February 26, 2024 19:01 9m 57s ijackson:leaking-bounds
February 26, 2024 19:01 9m 57s
Fix leaking bounds
CI #66: Pull request #24 opened by ijackson
February 26, 2024 17:54 14m 1s ijackson:leaking-bounds
February 26, 2024 17:54 14m 1s
Implement bound(*) to mean "all generic parameters"
CI #65: Pull request #22 opened by ijackson
February 20, 2024 19:21 16m 9s ijackson:all-bounds
February 20, 2024 19:21 16m 9s
Precise bounds
CI #63: Pull request #19 synchronize by ijackson
February 20, 2024 18:03 15m 55s ijackson:precise-bounds
February 20, 2024 18:03 15m 55s
Precise bounds
CI #62: Pull request #19 synchronize by ijackson
February 20, 2024 17:33 36m 13s ijackson:precise-bounds
February 20, 2024 17:33 36m 13s
Rename RawString to Educe__RawString
CI #61: Pull request #20 opened by ijackson
February 20, 2024 17:28 30m 13s ijackson:rawstring
February 20, 2024 17:28 30m 13s
Precise bounds
CI #60: Pull request #19 opened by ijackson
February 20, 2024 17:25 16m 19s ijackson:precise-bounds
February 20, 2024 17:25 16m 19s
bump version
CI #59: Commit bb0d520 pushed by magiclen
January 9, 2024 11:33 47m 50s v0.5.11
January 9, 2024 11:33 47m 50s
bump version
CI #58: Commit bb0d520 pushed by magiclen
January 9, 2024 11:31 2h 13m 46s master
January 9, 2024 11:31 2h 13m 46s
modify tests for name clashes
CI #57: Commit 5d41f61 pushed by magiclen
January 9, 2024 10:40 12m 7s master
January 9, 2024 10:40 12m 7s
Avoid name clashes with field names
CI #56: Pull request #15 opened by ijackson
January 8, 2024 15:15 11m 49s ijackson:ticket-14-redux
January 8, 2024 15:15 11m 49s
Closes #14
CI #55: Commit 983a143 pushed by magiclen
January 5, 2024 12:13 25m 48s v0.5.10
January 5, 2024 12:13 25m 48s
Closes #14
CI #54: Commit 983a143 pushed by magiclen
January 5, 2024 12:13 13m 18s master
January 5, 2024 12:13 13m 18s