Skip to content

Actions: INRIA/zelus

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update translate.ml Build #246: Commit dfe3cbe pushed by marcpouzet
October 29, 2024 17:48 6h 0m 10s 2024
2024
October 29, 2024 17:48 6h 0m 10s
Update Build #245: Commit 5daebcd pushed by marcpouzet
October 29, 2024 17:32 6h 0m 24s 2024
2024
October 29, 2024 17:32 6h 0m 24s
Update Build #244: Commit 01f43e1 pushed by marcpouzet
October 29, 2024 17:18 6h 0m 13s 2024
2024
October 29, 2024 17:18 6h 0m 13s
Update Build #243: Commit d5a288a pushed by marcpouzet
October 29, 2024 16:21 6h 0m 13s 2024
2024
October 29, 2024 16:21 6h 0m 13s
Update Build #242: Commit d01a129 pushed by marcpouzet
October 29, 2024 16:18 6h 0m 11s 2024
2024
October 29, 2024 16:18 6h 0m 11s
Update translate.ml Build #241: Commit ed3d925 pushed by marcpouzet
October 29, 2024 05:35 6h 0m 12s 2024
2024
October 29, 2024 05:35 6h 0m 12s
Update Build #240: Commit d32bebc pushed by marcpouzet
October 28, 2024 18:21 10h 46m 7s 2024
2024
October 28, 2024 18:21 10h 46m 7s
Update translate.ml Build #239: Commit cf45204 pushed by marcpouzet
October 28, 2024 17:35 10h 45m 31s 2024
2024
October 28, 2024 17:35 10h 45m 31s
Update translate.ml Build #238: Commit 07231e8 pushed by marcpouzet
October 28, 2024 16:55 10h 19m 4s 2024
2024
October 28, 2024 16:55 10h 19m 4s
Update Build #237: Commit 30b0b2b pushed by marcpouzet
October 28, 2024 16:46 6h 49m 32s 2024
2024
October 28, 2024 16:46 6h 49m 32s
Update Build #236: Commit 1dba3af pushed by marcpouzet
October 28, 2024 16:30 6h 39m 29s 2024
2024
October 28, 2024 16:30 6h 39m 29s
Update Build #235: Commit 4a5649d pushed by marcpouzet
October 28, 2024 16:19 6h 5m 33s 2024
2024
October 28, 2024 16:19 6h 5m 33s
Update translate.ml Build #234: Commit 0a1dbfa pushed by marcpouzet
October 28, 2024 12:32 9h 13m 52s 2024
2024
October 28, 2024 12:32 9h 13m 52s
Update Build #233: Commit cd25532 pushed by marcpouzet
October 28, 2024 12:21 8h 45m 5s 2024
2024
October 28, 2024 12:21 8h 45m 5s
Update Build #232: Commit 73c496d pushed by marcpouzet
October 28, 2024 11:12 6h 0m 13s 2024
2024
October 28, 2024 11:12 6h 0m 13s
Update Build #231: Commit 8d13542 pushed by marcpouzet
October 28, 2024 11:07 6h 0m 13s 2024
2024
October 28, 2024 11:07 6h 0m 13s
Update Build #230: Commit ef93a60 pushed by marcpouzet
October 28, 2024 10:08 6h 0m 14s 2024
2024
October 28, 2024 10:08 6h 0m 14s
Update ocamlprinter.ml Build #229: Commit b358660 pushed by marcpouzet
October 28, 2024 09:46 6h 0m 12s 2024
2024
October 28, 2024 09:46 6h 0m 12s
Update translate.ml Build #228: Commit 774fd37 pushed by marcpouzet
October 28, 2024 08:33 6h 0m 11s 2024
2024
October 28, 2024 08:33 6h 0m 11s
First step - rewrite almost complete. Build #227: Commit 95ad086 pushed by marcpouzet
October 27, 2024 19:54 8h 58m 16s 2024
2024
October 27, 2024 19:54 8h 58m 16s
Update deadcode.ml Build #226: Commit 32761a3 pushed by marcpouzet
October 27, 2024 19:12 6h 0m 10s 2024
2024
October 27, 2024 19:12 6h 0m 10s
Update - some progress on deadcode removal Build #225: Commit fc19525 pushed by marcpouzet
October 27, 2024 18:27 6h 4m 30s 2024
2024
October 27, 2024 18:27 6h 4m 30s
Update Build #224: Commit c6a70b4 pushed by marcpouzet
October 27, 2024 18:04 6h 0m 11s 2024
2024
October 27, 2024 18:04 6h 0m 11s
Update zopt.ml Build #223: Commit 0f5979e pushed by marcpouzet
October 27, 2024 16:52 6h 0m 11s 2024
2024
October 27, 2024 16:52 6h 0m 11s
Merge branch '2024' of https://github.com/INRIA/zelus into 2024 Build #222: Commit 1407e6a pushed by marcpouzet
October 27, 2024 16:48 6h 0m 12s 2024
2024
October 27, 2024 16:48 6h 0m 12s