Skip to content

Actions: magiclen/educe

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
93 workflow runs
93 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump version
CI-version #24: Commit bc05181 pushed by magiclen
June 1, 2024 07:36 13m 38s v0.6.0
June 1, 2024 07:36 13m 38s
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-version #23: Commit f962522 pushed by magiclen
June 1, 2024 06:24 15m 14s v0.5.12
June 1, 2024 06:24 15m 14s
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-version #22: Commit bb0d520 pushed by magiclen
January 9, 2024 11:33 40m 10s v0.5.11
January 9, 2024 11:33 40m 10s
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-version #21: Commit 983a143 pushed by magiclen
January 5, 2024 12:13 35m 49s v0.5.10
January 5, 2024 12:13 35m 49s