Skip to content

Actions: manuel-serrano/hop

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' of inria:GIT/hop Hop CI #98: Commit e37e52a pushed by manuel-serrano
16m 7s master
master
16m 7s
Fix hop known modules url Hop CI #97: Commit 62c2ad6 pushed by manuel-serrano
15m 29s master
master
15m 29s
JS generation fix Hop CI #96: Commit bc66439 pushed by manuel-serrano
26m 52s master
master
26m 52s
Fix JavaScript bignum literal generation Hop CI #95: Commit 941e9af pushed by manuel-serrano
27m 7s master
master
27m 7s
typo Hop CI #94: Commit 75f47ec pushed by manuel-serrano
44m 12s master
master
44m 12s
Fix compilation/installation dependency Hop CI #93: Commit 8517162 pushed by manuel-serrano
18m 9s master
master
18m 9s
Merge pull request #109 from donaldsonjw/C23_fixes Hop CI #92: Commit 2decf0e pushed by manuel-serrano
27m 32s master
master
27m 32s
CI script fix Hop CI #91: Commit 9a9aef5 pushed by manuel-serrano
26m 59s master
master
26m 59s
Client side code fix Hop CI #90: Commit 40fbf82 pushed by manuel-serrano
1m 47s master
master
1m 47s
Fix JS constant compilation Hop CI #88: Commit 17ed772 pushed by manuel-serrano
26m 40s master
master
26m 40s
JS array ref code generation improvement Hop CI #87: Commit ff6036d pushed by manuel-serrano
25m 47s master
master
25m 47s
Fix js-to-js compilation of async arrows Hop CI #86: Commit ea57c01 pushed by manuel-serrano
25m 28s master
master
25m 28s
JavaScript fontifier another improvement Hop CI #85: Commit bebc7a4 pushed by manuel-serrano
25m 49s master
master
25m 49s
JavaScript fontifier improvement Hop CI #84: Commit abc079f pushed by manuel-serrano
25m 12s master
master
25m 12s
Fix range analysis Hop CI #83: Commit 07746ef pushed by manuel-serrano
24m 57s master
master
24m 57s
nun-tagging configuration Hop CI #82: Commit 1f05337 pushed by manuel-serrano
25m 10s master
master
25m 10s
Fix Makefile dependency Hop CI #81: Commit 53110a1 pushed by manuel-serrano
25m 42s master
master
25m 42s
Fix hz makefile Hop CI #80: Commit 9898fef pushed by manuel-serrano
25m 50s master
master
25m 50s
Doc fixes (no code change) Hop CI #79: Commit 2b1018c pushed by manuel-serrano
26m 49s master
master
26m 49s
Add missing file Hop CI #78: Commit 29e8a3e pushed by manuel-serrano
16m 49s master
master
16m 49s
Documentation fixes (no code changes) Hop CI #77: Commit 6c4cf21 pushed by manuel-serrano
13m 12s master
master
13m 12s
ubuntu requisite for github ci Hop CI #76: Commit b47907e pushed by manuel-serrano
27m 31s master
master
27m 31s
Makefile parallel dependencies Hop CI #75: Commit 3ad98e3 pushed by manuel-serrano
18s master
master
18s
Merge branch 'master' of inria:GIT/hop Hop CI #74: Commit 6bb07cb pushed by manuel-serrano
20s master
master
20s
Typo Hop CI #73: Commit 7777d49 pushed by manuel-serrano
24m 27s master
master
24m 27s