Skip to content

Actions: GillianPlatform/Gillian

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
282 workflow runs
282 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Switch to opam CI #989: Pull request #293 synchronize by giltho
June 13, 2024 16:06 16m 58s opam
opam
June 13, 2024 16:06 16m 58s
Switch to opam CI #988: Pull request #293 synchronize by giltho
June 13, 2024 15:52 17m 27s opam
opam
June 13, 2024 15:52 17m 27s
Switch to opam CI #987: Pull request #293 synchronize by giltho
June 13, 2024 15:40 16m 26s opam
opam
June 13, 2024 15:40 16m 26s
Switch to opam CI #986: Pull request #293 opened by giltho
June 13, 2024 15:25 6m 28s opam
opam
June 13, 2024 15:25 6m 28s
Use esy nightly (temporarily) CI #985: Pull request #292 synchronize by NatKarmios
June 12, 2024 13:47 24m 18s esy-nightly
esy-nightly
June 12, 2024 13:47 24m 18s
Use esy nightly (temporarily) CI #984: Pull request #292 opened by NatKarmios
June 12, 2024 13:36 24m 9s esy-nightly
esy-nightly
June 12, 2024 13:36 24m 9s
Gillian c things for thesis (#289) CI #983: Commit 4a1a12f pushed by giltho
June 11, 2024 14:51 25m 17s master
master
June 11, 2024 14:51 25m 17s
Gillian c things for thesis CI #982: Pull request #289 synchronize by giltho
May 24, 2024 13:47 11m 14s gillian-c-things-for-thesis
gillian-c-things-for-thesis
May 24, 2024 13:47 11m 14s
Gillian c things for thesis CI #981: Pull request #289 synchronize by NatKarmios
May 23, 2024 12:11 24m 52s gillian-c-things-for-thesis
gillian-c-things-for-thesis
May 23, 2024 12:11 24m 52s
Gillian c things for thesis CI #980: Pull request #289 synchronize by NatKarmios
May 23, 2024 12:11 23m 0s gillian-c-things-for-thesis
gillian-c-things-for-thesis
May 23, 2024 12:11 23m 0s
Gillian c things for thesis CI #979: Pull request #289 synchronize by giltho
May 9, 2024 20:08 10m 12s gillian-c-things-for-thesis
gillian-c-things-for-thesis
May 9, 2024 20:08 10m 12s
Gillian c things for thesis CI #978: Pull request #289 synchronize by giltho
May 9, 2024 20:03 3m 21s gillian-c-things-for-thesis
gillian-c-things-for-thesis
May 9, 2024 20:03 3m 21s
Allow empty postcondition+vanishing function calls CI #977: Pull request #288 synchronize by N1ark
May 9, 2024 16:21 10m 3s N1ark:master
N1ark:master
May 9, 2024 16:21 10m 3s
Gillian c things for thesis CI #976: Pull request #289 synchronize by giltho
May 9, 2024 15:25 15m 30s gillian-c-things-for-thesis
gillian-c-things-for-thesis
May 9, 2024 15:25 15m 30s
Gillian c things for thesis CI #975: Pull request #289 opened by giltho
May 8, 2024 16:39 25m 16s gillian-c-things-for-thesis
gillian-c-things-for-thesis
May 8, 2024 16:39 25m 16s
Allow empty postcondition+vanishing function calls CI #974: Pull request #288 opened by N1ark
May 7, 2024 12:55 25m 6s N1ark:master
N1ark:master
May 7, 2024 12:55 25m 6s
fix alcotest version CI #973: Commit f599599 pushed by giltho
April 24, 2024 11:38 13m 26s master
master
April 24, 2024 11:38 13m 26s
temporarily remove dune subst CI #972: Commit 2c9fd31 pushed by giltho
April 24, 2024 10:58 11m 40s master
master
April 24, 2024 10:58 11m 40s
ffs opam syntax CI #971: Commit 537b11c pushed by giltho
April 24, 2024 10:42 13m 47s master
master
April 24, 2024 10:42 13m 47s
Fix opam? CI #970: Commit 278b3b2 pushed by giltho
April 24, 2024 10:39 12m 1s master
master
April 24, 2024 10:39 12m 1s
add ocaml as dependency in opam file CI #969: Commit e353a22 pushed by giltho
April 24, 2024 10:37 15m 54s master
master
April 24, 2024 10:37 15m 54s
Update ocaml version to 5.1.x in gillian.json, create gillian.opam an… CI #968: Commit c6548c9 pushed by giltho
April 24, 2024 10:28 14m 2s master
master
April 24, 2024 10:28 14m 2s
Update Matcher.ml CI #967: Commit 44b6185 pushed by NatKarmios
April 18, 2024 14:37 54m 52s master
master
April 18, 2024 14:37 54m 52s
Rename hande_pure to cons_pure in Matcher.ml CI #966: Commit f8c7f54 pushed by NatKarmios
April 18, 2024 14:34 36m 35s master
master
April 18, 2024 14:34 36m 35s
Fix monadic lifter to preserve err type CI #965: Commit 5ab38ac pushed by giltho
March 31, 2024 17:14 28m 46s master
master
March 31, 2024 17:14 28m 46s