Skip to content

Actions: epfl-systemf/Warblre

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
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
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
September 26, 2024 19:06 15m 41s
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
August 4, 2024 22:24 8m 9s
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
August 4, 2024 20:53 14m 22s
Add icon
CI #2: Commit 5614565 pushed by Ef55
August 4, 2024 16:37 8m 22s 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
August 4, 2024 15:44 27m 48s