Skip to content

Actions: jackfirth/rebellion

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
199 workflow runs
199 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Delete some now-unused modules CI #802: Pull request #553 opened by jackfirth
August 17, 2024 00:53 7m 54s delete-junk
delete-junk
August 17, 2024 00:53 7m 54s
Delete some now-unused modules CI #801: Commit 38755bb pushed by jackfirth
August 17, 2024 00:52 7m 57s delete-junk
delete-junk
August 17, 2024 00:52 7m 57s
Merge pull request #552 from jackfirth/cleanup-guard CI #800: Commit 357753c pushed by jackfirth
August 13, 2024 03:06 7m 55s master
master
August 13, 2024 03:06 7m 55s
Replace Rebellion's guard macro with new package CI #799: Pull request #552 opened by jackfirth
August 13, 2024 02:58 8m 5s cleanup-guard
cleanup-guard
August 13, 2024 02:58 8m 5s
Replace Rebellion's guard macro with new package CI #798: Commit 0b676f8 pushed by jackfirth
August 13, 2024 02:57 8m 36s cleanup-guard
cleanup-guard
August 13, 2024 02:57 8m 36s
Merge pull request #551 from IQubic/patch-2 CI #797: Commit a94e340 pushed by jackfirth
August 8, 2024 06:08 8m 5s master
master
August 8, 2024 06:08 8m 5s
Update type.scrbl to be more accurate about type bindings CI #796: Pull request #551 opened by IQubic
August 6, 2024 20:45 9m 31s IQubic:patch-2
IQubic:patch-2
August 6, 2024 20:45 9m 31s
Merge pull request #550 from jackfirth/fix-range-intersection CI #795: Commit 2404d73 pushed by jackfirth
May 23, 2024 02:47 7m 50s master
master
May 23, 2024 02:47 7m 50s
Rename range-set-intersects? CI #794: Pull request #550 opened by jackfirth
May 23, 2024 02:38 8m 14s fix-range-intersection
fix-range-intersection
May 23, 2024 02:38 8m 14s
Rename range-set-intersects? CI #793: Commit b4769c2 pushed by jackfirth
May 23, 2024 02:38 8m 28s fix-range-intersection
fix-range-intersection
May 23, 2024 02:38 8m 28s
Merge pull request #549 from jackfirth/jackfirth-patch-1 CI #792: Commit 90fe33a pushed by jackfirth
May 23, 2024 01:43 8m 19s master
master
May 23, 2024 01:43 8m 19s
Add a missing for-label import CI #791: Pull request #549 opened by jackfirth
May 23, 2024 01:34 7m 59s jackfirth-patch-1
jackfirth-patch-1
May 23, 2024 01:34 7m 59s
Add a missing for-label import CI #790: Commit 8dbc0d1 pushed by jackfirth
May 23, 2024 01:34 9m 9s jackfirth-patch-1
jackfirth-patch-1
May 23, 2024 01:34 9m 9s
Merge pull request #548 from jackfirth/feature-mutable-range-subset-i… CI #789: Commit ce9ddee pushed by jackfirth
May 3, 2024 03:55 8m 40s master
master
May 3, 2024 03:55 8m 40s
Implement iteration of mutable range subsets CI #788: Pull request #548 opened by jackfirth
May 3, 2024 03:48 7m 34s feature-mutable-range-subset-iteration
feature-mutable-range-subset-iteration
May 3, 2024 03:48 7m 34s
Implement iteration of mutable range subsets CI #787: Commit 017d890 pushed by jackfirth
May 3, 2024 03:47 8m 1s feature-mutable-range-subset-iteration
feature-mutable-range-subset-iteration
May 3, 2024 03:47 8m 1s
Merge pull request #546 from jackfirth/feature-mutable-range-subset CI #786: Commit 49ede7f pushed by jackfirth
April 23, 2024 04:03 7m 52s master
master
April 23, 2024 04:03 7m 52s
Implement more mutable range subset methods CI #785: Pull request #546 opened by jackfirth
April 23, 2024 03:54 8m 29s feature-mutable-range-subset
feature-mutable-range-subset
April 23, 2024 03:54 8m 29s
Implement more mutable range subset methods CI #784: Commit 68f6ede pushed by jackfirth
April 23, 2024 03:54 7m 41s feature-mutable-range-subset
feature-mutable-range-subset
April 23, 2024 03:54 7m 41s
Merge pull request #545 from jackfirth/bugfix-range-subset-view CI #783: Commit d868140 pushed by jackfirth
April 23, 2024 01:01 7m 42s master
master
April 23, 2024 01:01 7m 42s
Fix generic range set delegation CI #782: Pull request #545 opened by jackfirth
April 23, 2024 00:52 8m 5s bugfix-range-subset-view
bugfix-range-subset-view
April 23, 2024 00:52 8m 5s
Fix generic range set delegation CI #781: Commit 57fab8f pushed by jackfirth
April 23, 2024 00:52 8m 38s bugfix-range-subset-view
bugfix-range-subset-view
April 23, 2024 00:52 8m 38s
Merge pull request #544 from jackfirth/multiset-batch-contains CI #780: Commit fc4924c pushed by jackfirth
April 21, 2024 02:54 7m 45s master
master
April 21, 2024 02:54 7m 45s
Add more batch multiset queries CI #779: Pull request #544 opened by jackfirth
April 21, 2024 02:46 7m 43s multiset-batch-contains
multiset-batch-contains
April 21, 2024 02:46 7m 43s
Add more batch multiset queries CI #778: Commit b02d319 pushed by jackfirth
April 21, 2024 02:46 7m 59s multiset-batch-contains
multiset-batch-contains
April 21, 2024 02:46 7m 59s