Skip to content

Actions: rems-project/islaris

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

update Iris CI #410: Commit c978e10 pushed by MackieLoeffel
September 11, 2024 08:50 27m 53s main
main
September 11, 2024 08:50 27m 53s
update to new Iris CI #409: Commit cbcbd2e pushed by MackieLoeffel
August 19, 2024 14:59 28m 30s main
main
August 19, 2024 14:59 28m 30s
Changes from updating the RISC-V model CI #408: Pull request #29 opened by bacam
April 19, 2024 14:23 8m 7s 2024-04-risc-v
2024-04-risc-v
April 19, 2024 14:23 8m 7s
MacOS Campatibility (#28) CI #407: Commit 271dadb pushed by MackieLoeffel
April 18, 2024 08:23 7m 48s main
main
April 18, 2024 08:23 7m 48s
MacOS Campatibility CI #406: Pull request #28 synchronize by MackieLoeffel
April 18, 2024 07:34 26m 16s ffengyu:clean-macos
ffengyu:clean-macos
April 18, 2024 07:34 26m 16s
update isla-lang dependency via pin-depends CI #405: Commit 1ab5847 pushed by MackieLoeffel
April 18, 2024 07:14 25m 49s main
main
April 18, 2024 07:14 25m 49s
Update automation.v CI #403: Pull request #26 opened by ric-almeida
March 18, 2024 13:29 10m 30s ric-almeida-patch-1
ric-almeida-patch-1
March 18, 2024 13:29 10m 30s
update to Coq 8.19 CI #402: Commit 5187877 pushed by MackieLoeffel
March 14, 2024 07:29 25m 45s main
main
March 14, 2024 07:29 25m 45s
Also support Val_bool in eval_exp' CI #401: Commit 8434160 pushed by MackieLoeffel
March 6, 2024 10:06 8m 22s main
main
March 6, 2024 10:06 8m 22s
Add Manyop And and Or to eval_manyop CI #400: Commit 895426c pushed by MackieLoeffel
March 5, 2024 09:52 26m 7s main
main
March 5, 2024 09:52 26m 7s
update to Coq 8.18 and new version of deps CI #399: Commit 60da48e pushed by MackieLoeffel
January 9, 2024 19:25 26m 30s main
main
January 9, 2024 19:25 26m 30s
fix pinning of isla-lang CI #398: Commit 608a69e pushed by MackieLoeffel
December 13, 2023 12:08 8m 8s main
main
December 13, 2023 12:08 8m 8s
Fixed paratheses missing on function application when printing a valu CI #397: Commit e2b84be pushed by ric-almeida
December 6, 2023 13:44 8m 6s main
main
December 6, 2023 13:44 8m 6s
Merge pull request #25 from ric-almeida/main CI #396: Commit 1e32bf4 pushed by ric-almeida
December 5, 2023 15:36 42m 12s main
main
December 5, 2023 15:36 42m 12s
Adapted islaris to the latest isla and to the (currently under review) latest isla-lang CI #395: Pull request #25 synchronize by ric-almeida
December 5, 2023 13:41 7m 53s main
main
December 5, 2023 13:41 7m 53s
Adapted islaris to the latest isla and to the (currently under review) latest isla-lang CI #394: Pull request #25 synchronize by ric-almeida
December 4, 2023 12:06 26m 24s main
main
December 4, 2023 12:06 26m 24s
Adapted islaris to the latest isla and to the (currently under review) latest isla-lang CI #393: Pull request #25 synchronize by ric-almeida
November 23, 2023 18:12 25m 22s main
main
November 23, 2023 18:12 25m 22s
Adapted islaris to the latest isla and to the (currently under review) latest isla-lang CI #392: Pull request #25 synchronize by ric-almeida
November 23, 2023 18:09 3m 42s main
main
November 23, 2023 18:09 3m 42s
Adapted islaris to the latest isla and to the (currently under review) latest isla-lang CI #391: Pull request #25 synchronize by ric-almeida
November 23, 2023 17:40 17m 50s main
main
November 23, 2023 17:40 17m 50s
Adapted islaris to the latest isla and to the (currently under review) latest isla-lang CI #390: Pull request #25 opened by ric-almeida
November 22, 2023 20:22 17m 11s main
main
November 22, 2023 20:22 17m 11s
Merge pull request #24 from ric-almeida/patch-1 CI #389: Commit f18556e pushed by Mjiig
November 6, 2023 13:37 45m 33s main
main
November 6, 2023 13:37 45m 33s
Update README.md CI #388: Pull request #24 opened by ric-almeida
October 27, 2023 13:59 38m 27s patch-1
patch-1
October 27, 2023 13:59 38m 27s
update cmdliner (#21) CI #387: Commit 45ca800 pushed by MackieLoeffel
August 30, 2023 12:39 35m 5s main
main
August 30, 2023 12:39 35m 5s
update cmdliner CI #386: Pull request #21 opened by metp
August 25, 2023 10:21 40m 48s update-cmdliner
update-cmdliner
August 25, 2023 10:21 40m 48s