Skip to content

Actions: dra27/opam

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
97 workflow runs
97 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Fix 4.08/4.09 build Builds, tests & co #417: Commit b5f0a35 pushed by dra27
November 8, 2023 10:53 2m 22s setenv-slash.debug2
setenv-slash.debug2
November 8, 2023 10:53 2m 22s
fixup 58371bd6f Builds, tests & co #416: Commit 8735524 pushed by dra27
November 8, 2023 10:50 1m 28s setenv-slash.debug2
setenv-slash.debug2
November 8, 2023 10:50 1m 28s
Fix 4.08/4.09 build Builds, tests & co #415: Commit b5f0a35 pushed by dra27
November 8, 2023 10:26 22m 10s setenv-slash.debug2
setenv-slash.debug2
November 8, 2023 10:26 22m 10s
Use it to enhance the BASEDIR / OPAMTMP detection Builds, tests & co #414: Commit c111084 pushed by dra27
November 8, 2023 09:38 1h 16m 22s setenv-slash.debug2
setenv-slash.debug2
November 8, 2023 09:38 1h 16m 22s
Better idea - split the variable according to the default Builds, tests & co #413: Commit 5c7d0b1 pushed by dra27
November 7, 2023 23:45 1h 28m 4s setenv-slash.debug2
setenv-slash.debug2
November 7, 2023 23:45 1h 28m 4s
Debug GHA Builds, tests & co #412: Commit b6051eb pushed by dra27
November 7, 2023 17:29 1h 28m 31s setenv-slash.debug3
setenv-slash.debug3
November 7, 2023 17:29 1h 28m 31s
PR#5714 Builds, tests & co #411: Commit ab5b4a3 pushed by dra27
November 7, 2023 15:39 1h 3m 9s setenv-slash.debug3
setenv-slash.debug3
November 7, 2023 15:39 1h 3m 9s
Fix segfault in process ancestry code Builds, tests & co #410: Commit 9ec78ae pushed by dra27
November 7, 2023 15:34 1h 25m 6s harden-docker
harden-docker
November 7, 2023 15:34 1h 25m 6s
Debug GHA Builds, tests & co #409: Commit 7e16edf pushed by dra27
November 7, 2023 15:18 1h 11m 16s setenv-slash.debug3
setenv-slash.debug3
November 7, 2023 15:18 1h 11m 16s
Proposal: forward-to-back for "target" Builds, tests & co #408: Commit 5751b55 pushed by dra27
November 6, 2023 10:44 1h 36m 39s setenv-slash.debug2
setenv-slash.debug2
November 6, 2023 10:44 1h 36m 39s
PR#5714 Builds, tests & co #407: Commit 19c6fa8 pushed by dra27
November 2, 2023 12:26 1h 32m 4s setenv-slash.debug2
setenv-slash.debug2
November 2, 2023 12:26 1h 32m 4s
Add shell/autogen to .gitattributes Builds, tests & co #406: Commit 7a8ce28 pushed by rjbou
November 2, 2023 11:56 1h 54m 58s putenv-c-msg
putenv-c-msg
November 2, 2023 11:56 1h 54m 58s
Harden windows_get_shell Builds, tests & co #405: Commit c13c346 pushed by dra27
November 2, 2023 10:08 2h 3m 40s harden-docker
harden-docker
November 2, 2023 10:08 2h 3m 40s
debug Builds, tests & co #404: Commit 9744216 pushed by dra27
November 2, 2023 09:31 2h 16m 27s setenv-slash.debug2
setenv-slash.debug2
November 2, 2023 09:31 2h 16m 27s
debug Builds, tests & co #403: Commit 6a2b7ce pushed by dra27
November 2, 2023 09:30 58m 0s setenv-slash.debug2
setenv-slash.debug2
November 2, 2023 09:30 58m 0s
debug Builds, tests & co #402: Commit 2af1276 pushed by dra27
November 2, 2023 09:29 52m 15s setenv-slash.debug2
setenv-slash.debug2
November 2, 2023 09:29 52m 15s
debug Builds, tests & co #401: Commit 5ac90bc pushed by dra27
November 2, 2023 09:26 48m 1s setenv-slash.debug2
setenv-slash.debug2
November 2, 2023 09:26 48m 1s
debug Builds, tests & co #400: Commit e308701 pushed by dra27
November 2, 2023 09:16 1h 50m 14s setenv-slash.debug2
setenv-slash.debug2
November 2, 2023 09:16 1h 50m 14s
debug Builds, tests & co #399: Commit 6480f9c pushed by dra27
November 2, 2023 09:13 1h 56m 51s setenv-slash.debug2
setenv-slash.debug2
November 2, 2023 09:13 1h 56m 51s
debug Builds, tests & co #398: Commit f4319af pushed by dra27
November 2, 2023 09:01 1h 48m 11s setenv-slash.debug2
setenv-slash.debug2
November 2, 2023 09:01 1h 48m 11s
debug Builds, tests & co #397: Commit 8e94813 pushed by dra27
November 2, 2023 08:54 1h 36m 3s setenv-slash.debug2
setenv-slash.debug2
November 2, 2023 08:54 1h 36m 3s
debug Builds, tests & co #396: Commit 78a51e7 pushed by dra27
November 2, 2023 08:52 22m 38s setenv-slash.debug2
setenv-slash.debug2
November 2, 2023 08:52 22m 38s
debug Builds, tests & co #395: Commit 18c5b14 pushed by dra27
November 2, 2023 08:44 1h 31m 21s setenv-slash.debug2
setenv-slash.debug2
November 2, 2023 08:44 1h 31m 21s
debug Builds, tests & co #394: Commit 4f914a3 pushed by dra27
November 2, 2023 08:39 1h 43m 16s setenv-slash.debug2
setenv-slash.debug2
November 2, 2023 08:39 1h 43m 16s
WIP: wiki version of the test Builds, tests & co #393: Commit 54af144 pushed by dra27
October 31, 2023 10:48 1h 46m 13s setenv-slash.debug
setenv-slash.debug
October 31, 2023 10:48 1h 46m 13s