Skip to content

Actions: ocaml-gospel/gospel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
426 workflow runs
426 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix bug in creation of fresh type variables changelog #692: Pull request #435 opened by mrjazzybread
December 28, 2024 21:08 11s mrjazzybread:bugfix
mrjazzybread:bugfix
December 28, 2024 21:08 11s
update ocamlformat.0.27.0 changelog #691: Pull request #434 labeled by n-osborne
December 20, 2024 15:32 3s n-osborne:update-ocamlformat.0.27.0
n-osborne:update-ocamlformat.0.27.0
December 20, 2024 15:32 3s
update ocamlformat.0.27.0 changelog #690: Pull request #434 opened by n-osborne
December 20, 2024 15:32 3s n-osborne:update-ocamlformat.0.27.0
n-osborne:update-ocamlformat.0.27.0
December 20, 2024 15:32 3s
update ocamlformat.0.27.0 Build and test #287: Pull request #434 opened by n-osborne
December 20, 2024 15:32 3m 29s n-osborne:update-ocamlformat.0.27.0
n-osborne:update-ocamlformat.0.27.0
December 20, 2024 15:32 3m 29s
Remove and replace the coercion mechanism documentation #523: Pull request #433 opened by n-osborne
December 20, 2024 15:17 56s n-osborne:remove-coercions
n-osborne:remove-coercions
December 20, 2024 15:17 56s
Remove and replace the coercion mechanism local documentation #65: Pull request #433 opened by n-osborne
December 20, 2024 15:17 58s n-osborne:remove-coercions
n-osborne:remove-coercions
December 20, 2024 15:17 58s
Remove and replace the coercion mechanism Build and test #286: Pull request #433 opened by n-osborne
December 20, 2024 15:17 3m 10s n-osborne:remove-coercions
n-osborne:remove-coercions
December 20, 2024 15:17 3m 10s
Remove and replace the coercion mechanism changelog #689: Pull request #433 opened by n-osborne
December 20, 2024 15:17 14s n-osborne:remove-coercions
n-osborne:remove-coercions
December 20, 2024 15:17 14s
Merge pull request #429 from n-osborne/pattern-inlined-records Build and test #285: Commit 2649205 pushed by n-osborne
December 19, 2024 13:36 3m 3s main
main
December 19, 2024 13:36 3m 3s
Fix typing of pattern with inlined record changelog #688: Pull request #429 synchronize by n-osborne
December 19, 2024 09:53 15s n-osborne:pattern-inlined-records
n-osborne:pattern-inlined-records
December 19, 2024 09:53 15s
Fix typing of pattern with inlined record Build and test #284: Pull request #429 synchronize by n-osborne
December 19, 2024 09:53 3m 7s n-osborne:pattern-inlined-records
n-osborne:pattern-inlined-records
December 19, 2024 09:53 3m 7s
Merge pull request #423 from mrjazzybread/stdlib documentation #522: Commit 3e83970 pushed by n-osborne
December 18, 2024 11:16 28s main
main
December 18, 2024 11:16 28s
Merge pull request #423 from mrjazzybread/stdlib Build and test #283: Commit 3e83970 pushed by n-osborne
December 18, 2024 11:16 3m 8s main
main
December 18, 2024 11:16 3m 8s
Merge pull request #423 from mrjazzybread/stdlib local documentation #64: Commit 3e83970 pushed by n-osborne
December 18, 2024 11:16 1m 5s main
main
December 18, 2024 11:16 1m 5s
Stdlib changelog #687: Pull request #423 synchronize by mrjazzybread
December 16, 2024 16:59 20s mrjazzybread:stdlib
mrjazzybread:stdlib
December 16, 2024 16:59 20s
Stdlib local documentation #63: Pull request #423 synchronize by mrjazzybread
December 16, 2024 16:59 1m 6s mrjazzybread:stdlib
mrjazzybread:stdlib
December 16, 2024 16:59 1m 6s
Stdlib Build and test #282: Pull request #423 synchronize by mrjazzybread
December 16, 2024 16:59 3m 18s mrjazzybread:stdlib
mrjazzybread:stdlib
December 16, 2024 16:59 3m 18s
Stdlib documentation #521: Pull request #423 synchronize by mrjazzybread
December 16, 2024 16:59 55s mrjazzybread:stdlib
mrjazzybread:stdlib
December 16, 2024 16:59 55s
Stdlib documentation #520: Pull request #423 synchronize by mrjazzybread
December 15, 2024 17:54 53s mrjazzybread:stdlib
mrjazzybread:stdlib
December 15, 2024 17:54 53s
Stdlib Build and test #281: Pull request #423 synchronize by mrjazzybread
December 15, 2024 17:54 3m 3s mrjazzybread:stdlib
mrjazzybread:stdlib
December 15, 2024 17:54 3m 3s
Stdlib local documentation #62: Pull request #423 synchronize by mrjazzybread
December 15, 2024 17:54 59s mrjazzybread:stdlib
mrjazzybread:stdlib
December 15, 2024 17:54 59s
Stdlib changelog #686: Pull request #423 synchronize by mrjazzybread
December 15, 2024 17:54 15s mrjazzybread:stdlib
mrjazzybread:stdlib
December 15, 2024 17:54 15s
Merge pull request #428 from n-osborne/remove-syntax-for-record-update Build and test #280: Commit 72314ce pushed by n-osborne
December 12, 2024 15:36 3m 18s main
main
December 12, 2024 15:36 3m 18s
Stdlib changelog #685: Pull request #423 synchronize by mrjazzybread
December 10, 2024 18:13 12s mrjazzybread:stdlib
mrjazzybread:stdlib
December 10, 2024 18:13 12s
Stdlib Build and test #279: Pull request #423 synchronize by mrjazzybread
December 10, 2024 18:13 3m 14s mrjazzybread:stdlib
mrjazzybread:stdlib
December 10, 2024 18:13 3m 14s