Skip to content

Actions: epfl-systemf/Warblre

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3 from epfl-systemf/nds/update-webpack CI #25: Commit c88bceb pushed by Aurele-Barriere
September 27, 2024 08:34 16m 26s main
main
September 27, 2024 08:34 16m 26s
Update webpack version CI #24: Pull request #3 opened by Ef55
September 26, 2024 19:06 15m 41s nds/update-webpack
nds/update-webpack
September 26, 2024 19:06 15m 41s
Merge pull request #2 from epfl-systemf/mc/auto-spec-checker CI #23: Commit f666913 pushed by Aurele-Barriere
August 21, 2024 14:43 7m 19s main
main
August 21, 2024 14:43 7m 19s
Added auto checker in the CI CI #22: Pull request #2 synchronize by MartinWho2
August 21, 2024 14:34 7m 23s mc/auto-spec-checker
mc/auto-spec-checker
August 21, 2024 14:34 7m 23s
Added auto checker in the CI CI #21: Pull request #2 synchronize by MartinWho2
August 21, 2024 14:14 7m 3s mc/auto-spec-checker
mc/auto-spec-checker
August 21, 2024 14:14 7m 3s
Added auto checker in the CI CI #20: Pull request #2 synchronize by MartinWho2
August 21, 2024 13:56 6m 54s mc/auto-spec-checker
mc/auto-spec-checker
August 21, 2024 13:56 6m 54s
Added auto checker in the CI CI #19: Pull request #2 opened by MartinWho2
August 21, 2024 13:34 6m 39s mc/auto-spec-checker
mc/auto-spec-checker
August 21, 2024 13:34 6m 39s
Merge pull request #1 from epfl-systemf/mc/spec-corrector CI #18: Commit 17f4e2d pushed by Aurele-Barriere
August 15, 2024 14:43 15m 45s main
main
August 15, 2024 14:43 15m 45s
Mc/spec corrector CI #17: Pull request #1 synchronize by Aurele-Barriere
August 15, 2024 14:31 6m 39s mc/spec-corrector
mc/spec-corrector
August 15, 2024 14:31 6m 39s
Mc/spec corrector CI #16: Pull request #1 synchronize by Aurele-Barriere
August 15, 2024 14:30 6m 54s mc/spec-corrector
mc/spec-corrector
August 15, 2024 14:30 6m 54s
Mc/spec corrector CI #15: Pull request #1 synchronize by Aurele-Barriere
August 15, 2024 14:28 6m 50s mc/spec-corrector
mc/spec-corrector
August 15, 2024 14:28 6m 50s
Mc/spec corrector CI #14: Pull request #1 synchronize by Aurele-Barriere
August 15, 2024 14:26 7m 4s mc/spec-corrector
mc/spec-corrector
August 15, 2024 14:26 7m 4s
Mc/spec corrector CI #13: Pull request #1 synchronize by Aurele-Barriere
August 15, 2024 14:24 6m 58s mc/spec-corrector
mc/spec-corrector
August 15, 2024 14:24 6m 58s
Mc/spec corrector CI #12: Pull request #1 synchronize by MartinWho2
August 15, 2024 14:08 10m 28s mc/spec-corrector
mc/spec-corrector
August 15, 2024 14:08 10m 28s
Mc/spec corrector CI #11: Pull request #1 synchronize by MartinWho2
August 15, 2024 13:21 6m 45s mc/spec-corrector
mc/spec-corrector
August 15, 2024 13:21 6m 45s
Mc/spec corrector CI #10: Pull request #1 synchronize by MartinWho2
August 15, 2024 13:13 3m 24s mc/spec-corrector
mc/spec-corrector
August 15, 2024 13:13 3m 24s
Mc/spec corrector CI #9: Pull request #1 synchronize by MartinWho2
August 15, 2024 13:12 2m 39s mc/spec-corrector
mc/spec-corrector
August 15, 2024 13:12 2m 39s
Mc/spec corrector CI #8: Pull request #1 opened by MartinWho2
August 15, 2024 09:52 15m 40s mc/spec-corrector
mc/spec-corrector
August 15, 2024 09:52 15m 40s
Add file (non-)existence tests in CI CI #7: Commit 1e554ba pushed by Ef55
August 4, 2024 22:37 7m 35s main
main
August 4, 2024 22:37 7m 35s
Add file (non-)existence tests in CI CI #6: Commit 73cf5fa pushed by Ef55
August 4, 2024 22:24 8m 9s nds/limited-install
nds/limited-install
August 4, 2024 22:24 8m 9s
Split development in multiple packages and projects CI #4: Commit 14cead1 pushed by Ef55
August 4, 2024 21:43 7m 50s nds/limited-install
nds/limited-install
August 4, 2024 21:43 7m 50s
Add tag before omitted statements of the specification CI #3: Commit d065be9 pushed by Ef55
August 4, 2024 20:53 14m 22s main
main
August 4, 2024 20:53 14m 22s
Add icon CI #2: Commit 5614565 pushed by Ef55
August 4, 2024 16:37 8m 22s main
main
August 4, 2024 16:37 8m 22s
Add license in dune-project CI #1: Commit a232dd0 pushed by Ef55
August 4, 2024 15:44 27m 48s main
main
August 4, 2024 15:44 27m 48s