Skip to content

Actions: propensive/feudalism

Actions

Repo Admin

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rename tests file
Repo Admin #31: Commit 2f8a7f1 pushed by propensive
January 14, 2025 18:47 1m 1s main
January 14, 2025 18:47 1m 1s
Merge branch 'main' of github.com:propensive/feudalism
Repo Admin #30: Commit 925f909 pushed by propensive
January 2, 2025 07:24 59s main
January 2, 2025 07:24 59s
Merge branch 'main' of github.com:propensive/feudalism
Repo Admin #29: Commit ff43e08 pushed by propensive
January 2, 2025 07:17 1m 2s main
January 2, 2025 07:17 1m 2s
Update Tumult and regenerate
Repo Admin #28: Commit 8b0ee4d pushed by propensive
January 2, 2025 06:59 1m 1s main
January 2, 2025 06:59 1m 1s
Update Tumult and regenerate
Repo Admin #27: Commit 38827ee pushed by propensive
December 27, 2024 13:37 57s main
December 27, 2024 13:37 57s
Reordering of imports
Repo Admin #26: Commit b7679b6 pushed by propensive
December 14, 2024 14:26 2m 8s main
December 14, 2024 14:26 2m 8s
Merge branch 'main' of github.com:propensive/feudalism
Repo Admin #25: Commit d0d7d54 pushed by propensive
December 8, 2024 12:04 1m 18s main
December 8, 2024 12:04 1m 18s
Update indentation style
Repo Admin #24: Commit 83b203e pushed by propensive
November 11, 2024 10:30 1m 23s main
November 11, 2024 10:30 1m 23s
Rename source file
Repo Admin #23: Commit c8f4a93 pushed by propensive
August 23, 2024 11:23 1m 0s main
August 23, 2024 11:23 1m 0s
Tidy up source files and export to soundness
Repo Admin #22: Commit 1d33aa2 pushed by propensive
June 11, 2024 20:05 52s main
June 11, 2024 20:05 52s
Safer exception handling
Repo Admin #21: Commit 9c94b5a pushed by propensive
April 7, 2024 15:51 48s main
April 7, 2024 15:51 48s
Merge branch 'main' of github.com:propensive/feudalism
Repo Admin #20: Commit e5376ad pushed by propensive
April 4, 2024 13:35 53s main
April 4, 2024 13:35 53s
Change read to apply() and add update methods
Repo Admin #19: Commit fed35de pushed by propensive
April 2, 2024 12:14 1m 6s main
April 2, 2024 12:14 1m 6s
Give replace a return value
Repo Admin #18: Commit 1e53a17 pushed by propensive
March 18, 2024 06:22 47s main
March 18, 2024 06:22 47s
Merge branch 'main' of github.com:propensive/feudalism
Repo Admin #17: Commit 6edc62d pushed by propensive
March 9, 2024 08:09 47s main
March 9, 2024 08:09 47s
Merge branch 'main' of github.com:propensive/feudalism
Repo Admin #16: Commit 490078d pushed by propensive
March 7, 2024 18:04 53s main
March 7, 2024 18:04 53s
Code formatting
Repo Admin #15: Commit 49d2a6b pushed by propensive
February 27, 2024 13:12 1m 6s main
February 27, 2024 13:12 1m 6s
Merge branch 'main' of github.com:propensive/feudalism into main
Repo Admin #14: Commit 97156f0 pushed by propensive
February 8, 2024 14:05 1m 7s main
February 8, 2024 14:05 1m 7s
Merge branch 'main' of github.com:propensive/feudalism into main
Repo Admin #13: Commit bd1277f pushed by propensive
February 8, 2024 08:47 1m 6s main
February 8, 2024 08:47 1m 6s
Added a slogan
Repo Admin #12: Commit 0200216 pushed by propensive
February 8, 2024 08:44 54s main
February 8, 2024 08:44 54s
Merge branch 'main' of github.com:propensive/feudalism into main
Repo Admin #11: Commit 1da2b6d pushed by propensive
February 8, 2024 08:37 58s main
February 8, 2024 08:37 58s
Added a status
Repo Admin #10: Commit 2985977 pushed by propensive
February 8, 2024 08:36 57s main
February 8, 2024 08:36 57s
Merge branch 'main' of github.com:propensive/feudalism into main
Repo Admin #9: Commit 9d08ecf pushed by propensive
February 8, 2024 08:35 57s main
February 8, 2024 08:35 57s
Added an explanation of the name
Repo Admin #8: Commit 8b71e48 pushed by propensive
February 8, 2024 08:33 1m 11s main
February 8, 2024 08:33 1m 11s
Really include contributing docs
Repo Admin #7: Commit d42ff25 pushed by propensive
February 1, 2024 09:16 2m 15s main
February 1, 2024 09:16 2m 15s