Skip to content

Actions: OCamlPro/owi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,816 workflow run results
1,816 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make symbolic memory parametric and concretise every symbolic address check-changelog #371: Pull request #371 synchronize by filipeom
July 29, 2024 13:46 12s filipeom:parametric-mem
filipeom:parametric-mem
July 29, 2024 13:46 12s
Make symbolic memory parametric and concretise every symbolic address build #1380: Pull request #371 synchronize by filipeom
July 29, 2024 13:46 6m 46s filipeom:parametric-mem
filipeom:parametric-mem
July 29, 2024 13:46 6m 46s
Custom annotation build #1379: Pull request #368 synchronize by Laplace-Demon
July 29, 2024 12:49 6m 38s Laplace-Demon:custom-annotation
Laplace-Demon:custom-annotation
July 29, 2024 12:49 6m 38s
Custom annotation check-changelog #370: Pull request #368 synchronize by Laplace-Demon
July 29, 2024 12:49 14s Laplace-Demon:custom-annotation
Laplace-Demon:custom-annotation
July 29, 2024 12:49 14s
Custom annotation build #1378: Pull request #368 synchronize by Laplace-Demon
July 29, 2024 10:31 6m 40s Laplace-Demon:custom-annotation
Laplace-Demon:custom-annotation
July 29, 2024 10:31 6m 40s
Custom annotation check-changelog #369: Pull request #368 synchronize by Laplace-Demon
July 29, 2024 10:31 20s Laplace-Demon:custom-annotation
Laplace-Demon:custom-annotation
July 29, 2024 10:31 20s
Parameterize Thread on Symbolic Memory and Choice Monad on Thread check-changelog #368: Pull request #367 synchronize by filipeom
July 29, 2024 08:54 16s filipeom:parametric-thread
filipeom:parametric-thread
July 29, 2024 08:54 16s
Parameterize Thread on Symbolic Memory and Choice Monad on Thread build #1377: Pull request #367 synchronize by filipeom
July 29, 2024 08:54 6m 45s filipeom:parametric-thread
filipeom:parametric-thread
July 29, 2024 08:54 6m 45s
Parameterize Thread on Symbolic Memory and Choice Monad on Thread build #1376: Pull request #367 synchronize by filipeom
July 29, 2024 08:44 6m 5s filipeom:parametric-thread
filipeom:parametric-thread
July 29, 2024 08:44 6m 5s
Parameterize Thread on Symbolic Memory and Choice Monad on Thread check-changelog #367: Pull request #367 synchronize by filipeom
July 29, 2024 08:44 15s filipeom:parametric-thread
filipeom:parametric-thread
July 29, 2024 08:44 15s
Custom annotation check-changelog #366: Pull request #368 synchronize by Laplace-Demon
July 27, 2024 08:37 12s Laplace-Demon:custom-annotation
Laplace-Demon:custom-annotation
July 27, 2024 08:37 12s
Custom annotation build #1375: Pull request #368 synchronize by Laplace-Demon
July 27, 2024 08:37 4m 13s Laplace-Demon:custom-annotation
Laplace-Demon:custom-annotation
July 27, 2024 08:37 4m 13s
Custom annotation check-changelog #365: Pull request #368 synchronize by Laplace-Demon
July 26, 2024 16:34 14s Laplace-Demon:custom-annotation
Laplace-Demon:custom-annotation
July 26, 2024 16:34 14s
Custom annotation build #1374: Pull request #368 synchronize by Laplace-Demon
July 26, 2024 16:34 3m 31s Laplace-Demon:custom-annotation
Laplace-Demon:custom-annotation
July 26, 2024 16:34 3m 31s
update to latest prelude and smtml, add missings dev-setup deps build #1373: Commit 15f4696 pushed by zapashcanon
July 26, 2024 16:32 22m 31s main
main
July 26, 2024 16:32 22m 31s
update to latest prelude and smtml, add missings dev-setup deps deploy #361: Commit 15f4696 pushed by zapashcanon
July 26, 2024 16:32 5m 6s main
main
July 26, 2024 16:32 5m 6s
Integration of E-ACSL specification language in owi build #1372: Pull request #324 synchronize by zapashcanon
July 26, 2024 16:25 23m 15s Laplace-Demon:eacsl
Laplace-Demon:eacsl
July 26, 2024 16:25 23m 15s
Integration of E-ACSL specification language in owi check-changelog #364: Pull request #324 synchronize by zapashcanon
July 26, 2024 16:25 12s Laplace-Demon:eacsl
Laplace-Demon:eacsl
July 26, 2024 16:25 12s
enable macOS CI again build #1371: Commit d120a83 pushed by zapashcanon
July 26, 2024 16:03 18m 51s main
main
July 26, 2024 16:03 18m 51s
enable macOS CI again deploy #360: Commit d120a83 pushed by zapashcanon
July 26, 2024 16:03 3m 51s main
main
July 26, 2024 16:03 3m 51s
Integration of E-ACSL specification language in owi check-changelog #363: Pull request #324 synchronize by Laplace-Demon
July 26, 2024 15:57 35s Laplace-Demon:eacsl
Laplace-Demon:eacsl
July 26, 2024 15:57 35s
Integration of E-ACSL specification language in owi build #1370: Pull request #324 synchronize by Laplace-Demon
July 26, 2024 15:57 22m 37s Laplace-Demon:eacsl
Laplace-Demon:eacsl
July 26, 2024 15:57 22m 37s
enable macOS CI again check-changelog #362: Pull request #375 synchronize by zapashcanon
July 26, 2024 14:26 12s zapashcanon:macosci
zapashcanon:macosci
July 26, 2024 14:26 12s
enable macOS CI again build #1369: Pull request #375 synchronize by zapashcanon
July 26, 2024 14:26 18m 45s zapashcanon:macosci
zapashcanon:macosci
July 26, 2024 14:26 18m 45s
do not inline or_ function check-changelog #361: Pull request #388 synchronize by zapashcanon
July 26, 2024 14:21 16s zapashcanon:fixor
zapashcanon:fixor
July 26, 2024 14:21 16s