Skip to content

Actions: rse-verification/saida

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update build.yml to use ocaml 4.13.1 Build #22: Commit 9b3f848 pushed by woosh
September 10, 2024 13:59 9m 30s main
main
September 10, 2024 13:59 9m 30s
Frama c29 (#12) Build #21: Commit 73af901 pushed by woosh
September 10, 2024 12:59 12m 33s main
main
September 10, 2024 12:59 12m 33s
Frama c29 Build #20: Pull request #12 synchronize by woosh
September 10, 2024 12:33 6m 33s frama-c29
frama-c29
September 10, 2024 12:33 6m 33s
Frama c29 Build #19: Pull request #12 opened by jesper-amilon
September 10, 2024 07:20 9m 10s frama-c29
frama-c29
September 10, 2024 07:20 9m 10s
fix CI status in README Build #18: Commit 16d48e9 pushed by palmskog
August 23, 2024 15:36 6m 2s main
main
August 23, 2024 15:36 6m 2s
Merge pull request #10 from rse-verification/fix-ci Build #17: Commit f3498ec pushed by palmskog
August 23, 2024 15:25 9m 13s main
main
August 23, 2024 15:25 9m 13s
fix CI and update metadata Build #16: Pull request #10 synchronize by palmskog
August 23, 2024 13:50 6m 2s fix-ci
fix-ci
August 23, 2024 13:50 6m 2s
fix CI and update metadata Build #15: Pull request #10 opened by palmskog
August 23, 2024 13:18 9m 28s fix-ci
fix-ci
August 23, 2024 13:18 9m 28s
Updated limitations. Build #14: Commit 9fd202d pushed by woosh
June 26, 2024 08:58 10m 17s main
main
June 26, 2024 08:58 10m 17s
Updated limitations. Build #13: Pull request #8 opened by clid
June 25, 2024 13:51 12m 38s limitations
limitations
June 25, 2024 13:51 12m 38s
Update README.md Build #12: Commit fc5300b pushed by jesper-amilon
June 13, 2024 08:18 10m 7s main
main
June 13, 2024 08:18 10m 7s
Relax requirement for naming functions in harnesses Build #11: Commit 8685fef pushed by gustavung
May 29, 2024 09:22 10m 17s main
main
May 29, 2024 09:22 10m 17s
Relax requirement for naming functions in harnesses Build #10: Pull request #7 opened by gustavung
May 23, 2024 12:46 10m 22s gustavung-patch-1
gustavung-patch-1
May 23, 2024 12:46 10m 22s
Update README with version numbers Build #9: Commit 3290165 pushed by woosh
May 14, 2024 11:48 7m 8s main
main
May 14, 2024 11:48 7m 8s
Update README with version numbers Build #8: Pull request #5 opened by woosh
May 14, 2024 11:40 7m 26s doc-update
doc-update
May 14, 2024 11:40 7m 26s
Change default tricera path to assume that tri is in $PATH (#4) Build #7: Commit 0e99eef pushed by woosh
May 13, 2024 14:02 10m 58s main
main
May 13, 2024 14:02 10m 58s
Change default tricera path to assume that tri is in $PATH Build #6: Pull request #4 synchronize by woosh
May 13, 2024 13:50 7m 14s change-tri-path
change-tri-path
May 13, 2024 13:50 7m 14s
Change default tricera path to assume that tri is in $PATH Build #5: Pull request #4 synchronize by woosh
May 13, 2024 13:34 7m 34s change-tri-path
change-tri-path
May 13, 2024 13:34 7m 34s
Change default tricera path to assume that tri is in $PATH Build #4: Pull request #4 synchronize by woosh
May 13, 2024 10:51 5m 1s change-tri-path
change-tri-path
May 13, 2024 10:51 5m 1s
Change default tricera path to assume that tri is in $PATH Build #3: Pull request #4 opened by woosh
May 13, 2024 10:45 8m 31s change-tri-path
change-tri-path
May 13, 2024 10:45 8m 31s
pure Dune-based build and opam package Build #2: Commit 0159985 pushed by gustavung
January 19, 2024 06:59 10m 15s main
main
January 19, 2024 06:59 10m 15s
pure Dune-based build and opam package Build #1: Pull request #2 opened by palmskog
January 17, 2024 15:39 10m 57s opam-dune
opam-dune
January 17, 2024 15:39 10m 57s