Skip to content

Actions: CLEARSY/POG2WhyML

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix translation with REAL in input [#81972]
CMake on multiple platforms #10: Commit 1d5e922 pushed by dde-cls
2m 3s main
Fix github CI (#1)
CMake on multiple platforms #9: Commit edb72d3 pushed by dde-cls
1m 31s main
Fix github CI (#1)
Clang Format Checker #10: Commit edb72d3 pushed by dde-cls
31s main
syntax error fix
Clang Format Checker #9: Commit 0400bed pushed by dde-cls
23s fix-ci
syntax error fix
CMake on multiple platforms #8: Commit 0400bed pushed by dde-cls
2m 51s fix-ci
syntax error fix
Clang Format Checker #8: Commit 7253125 pushed by dde-cls
30s fix-ci
syntax error fix
CMake on multiple platforms #7: Commit 7253125 pushed by dde-cls
Failure fix-ci
CI badges; test only once and in a linux env
CMake on multiple platforms #6: Commit 3d7d683 pushed by dde-cls
Failure fix-ci
add BAST as a submodule
Clang Format Checker #6: Commit ce99a49 pushed by dde-cls
30s fix-ci
add BAST as a submodule
CMake on multiple platforms #5: Commit ce99a49 pushed by dde-cls
1m 58s fix-ci
updated submodule POGLIB reference
CMake on multiple platforms #4: Commit 075131a pushed by dde-cls
1m 0s fix-ci
updated submodule POGLIB reference
CMake on multiple platforms #3: Commit 075131a pushed by dde-cls
3m 23s main
updated submodule POGLIB reference
Clang Format Checker #4: Commit 075131a pushed by dde-cls
27s main
update CI trigger
Clang Format Checker #2: Commit 7241fa8 pushed by dde-cls
26s main
add code style check in github ci
Clang Format Checker #1: Commit c360dad pushed by dde-cls
26s main