Skip to content

Actions: propensive/jacinta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
172 workflow runs
172 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make stack traces optional
Repo Admin #104: Commit 70a6e9f pushed by propensive
September 20, 2024 19:49 1m 7s main
September 20, 2024 19:49 1m 7s
Make JsonPath an opaque type
Build #261: Commit e690aa7 pushed by propensive
September 15, 2024 21:00 5m 30s main
September 15, 2024 21:00 5m 30s
Make JsonPath an opaque type
Repo Admin #103: Commit e690aa7 pushed by propensive
September 15, 2024 21:00 55s main
September 15, 2024 21:00 55s
Rename Tracing to Foci
Repo Admin #102: Commit 46ba8ba pushed by propensive
September 15, 2024 13:38 1m 12s main
September 15, 2024 13:38 1m 12s
Rename Tracing to Foci
Build #260: Commit 46ba8ba pushed by propensive
September 15, 2024 13:38 5m 29s main
September 15, 2024 13:38 5m 29s
Merge branch 'main' of github.com:propensive/jacinta
Build #259: Commit c2cc5d3 pushed by propensive
September 7, 2024 11:10 5m 34s main
September 7, 2024 11:10 5m 34s
Merge branch 'main' of github.com:propensive/jacinta
Repo Admin #101: Commit c2cc5d3 pushed by propensive
September 7, 2024 11:10 1m 5s main
September 7, 2024 11:10 1m 5s
Soundness exports
Repo Admin #100: Commit 6327440 pushed by propensive
August 29, 2024 06:29 1m 1s main
August 29, 2024 06:29 1m 1s
Soundness exports
Build #258: Commit 6327440 pushed by propensive
August 29, 2024 06:29 5m 35s main
August 29, 2024 06:29 5m 35s
Merge branch 'main' of github.com:propensive/jacinta
Build #257: Commit 898e8a5 pushed by propensive
August 26, 2024 19:50 9m 7s main
August 26, 2024 19:50 9m 7s
Use Prepositional for infix types
Repo Admin #99: Commit e5bb448 pushed by propensive
August 22, 2024 20:38 56s main
August 22, 2024 20:38 56s
Use Prepositional for infix types
Build #256: Commit e5bb448 pushed by propensive
August 22, 2024 20:38 6m 3s main
August 22, 2024 20:38 6m 3s
Updates for Contingency changes
Repo Admin #98: Commit d1843c5 pushed by propensive
July 5, 2024 19:39 1m 26s main
July 5, 2024 19:39 1m 26s
Updates for Contingency changes
Build #255: Commit d1843c5 pushed by propensive
July 5, 2024 19:39 9m 11s main
July 5, 2024 19:39 9m 11s
Renamed msg"" to m""
Build #254: Commit eb72514 pushed by propensive
July 1, 2024 06:12 6m 54s main
July 1, 2024 06:12 6m 54s
Renamed msg"" to m""
Repo Admin #97: Commit eb72514 pushed by propensive
July 1, 2024 06:12 2m 25s main
July 1, 2024 06:12 2m 25s
Merge branch 'main' of github.com:propensive/jacinta
Repo Admin #96: Commit 5cbc94d pushed by propensive
June 21, 2024 05:40 51s main
June 21, 2024 05:40 51s
Merge branch 'main' of github.com:propensive/jacinta
Build #253: Commit 5cbc94d pushed by propensive
June 21, 2024 05:40 4m 44s main
June 21, 2024 05:40 4m 44s
Adopt typeless new:
Repo Admin #95: Commit 8a57e34 pushed by propensive
June 18, 2024 09:23 57s main
June 18, 2024 09:23 57s
Adopt typeless new:
Build #252: Commit 8a57e34 pushed by propensive
June 18, 2024 09:23 5m 12s main
June 18, 2024 09:23 5m 12s
Merge branch 'main' of github.com:propensive/jacinta
Repo Admin #94: Commit 766e17a pushed by propensive
June 14, 2024 19:33 1m 7s main
June 14, 2024 19:33 1m 7s
Merge branch 'main' of github.com:propensive/jacinta
Build #251: Commit 766e17a pushed by propensive
June 14, 2024 19:33 4m 51s main
June 14, 2024 19:33 4m 51s
Some changes to accommodate Symbolism changes
Repo Admin #93: Commit 243b3c0 pushed by propensive
June 14, 2024 19:16 1m 0s main
June 14, 2024 19:16 1m 0s
Some changes to accommodate Symbolism changes
Build #250: Commit 243b3c0 pushed by propensive
June 14, 2024 19:16 5m 26s main
June 14, 2024 19:16 5m 26s
Merge branch 'main' of github.com:propensive/jacinta
Build #249: Commit 80bd824 pushed by propensive
June 12, 2024 19:28 5m 18s main
June 12, 2024 19:28 5m 18s