Skip to content

Actions: dionysos-dev/Dionysos.jl

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
247 workflow runs
247 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove ugly prints during test (#349) CI #645: Commit 13e7581 pushed by adrienbanse
April 19, 2024 07:09 12m 42s master
master
April 19, 2024 07:09 12m 42s
Remove ugly prints during test CI #644: Pull request #349 opened by adrienbanse
April 18, 2024 16:31 12m 28s ab/remove_verbose
ab/remove_verbose
April 18, 2024 16:31 12m 28s
0.1.1. -> 0.1.2. CI #643: Commit c1e1944 pushed by adrienbanse
April 16, 2024 15:51 13m 2s master
master
April 16, 2024 15:51 13m 2s
add bisimilar abstraction (#346) CI #642: Commit 9db7aaf pushed by adrienbanse
April 16, 2024 15:50 12m 20s master
master
April 16, 2024 15:50 12m 20s
add bisimilar abstraction CI #641: Pull request #346 synchronize by adrienbanse
April 16, 2024 14:18 12m 58s jc/bisimilarAbstraction
jc/bisimilarAbstraction
April 16, 2024 14:18 12m 58s
add bisimilar abstraction CI #640: Pull request #346 synchronize by adrienbanse
April 16, 2024 14:16 13m 18s jc/bisimilarAbstraction
jc/bisimilarAbstraction
April 16, 2024 14:16 13m 18s
add bisimilar abstraction CI #639: Pull request #346 synchronize by blegat
April 16, 2024 13:42 7m 33s jc/bisimilarAbstraction
jc/bisimilarAbstraction
April 16, 2024 13:42 7m 33s
add bisimilar abstraction CI #638: Pull request #346 synchronize by blegat
April 16, 2024 13:06 13m 47s jc/bisimilarAbstraction
jc/bisimilarAbstraction
April 16, 2024 13:06 13m 47s
add bisimilar abstraction CI #637: Pull request #346 synchronize by blegat
April 16, 2024 12:04 13m 22s jc/bisimilarAbstraction
jc/bisimilarAbstraction
April 16, 2024 12:04 13m 22s
add bisimilar abstraction CI #636: Pull request #346 synchronize by adrienbanse
April 15, 2024 12:38 13m 10s jc/bisimilarAbstraction
jc/bisimilarAbstraction
April 15, 2024 12:38 13m 10s
add bisimilar abstraction CI #635: Pull request #346 synchronize by adrienbanse
April 15, 2024 12:10 7m 35s jc/bisimilarAbstraction
jc/bisimilarAbstraction
April 15, 2024 12:10 7m 35s
add bisimilar abstraction CI #634: Pull request #346 synchronize by adrienbanse
April 15, 2024 10:10 14m 31s jc/bisimilarAbstraction
jc/bisimilarAbstraction
April 15, 2024 10:10 14m 31s
add bisimilar abstraction CI #633: Pull request #346 synchronize by adrienbanse
April 15, 2024 09:39 13m 51s jc/bisimilarAbstraction
jc/bisimilarAbstraction
April 15, 2024 09:39 13m 51s
add bisimilar abstraction CI #632: Pull request #346 synchronize by adrienbanse
April 15, 2024 09:35 14m 43s jc/bisimilarAbstraction
jc/bisimilarAbstraction
April 15, 2024 09:35 14m 43s
add bisimilar abstraction CI #631: Pull request #346 synchronize by adrienbanse
April 15, 2024 09:31 13m 6s jc/bisimilarAbstraction
jc/bisimilarAbstraction
April 15, 2024 09:31 13m 6s
add bisimilar abstraction CI #630: Pull request #346 opened by JulienCalbert
April 15, 2024 09:17 16m 41s jc/bisimilarAbstraction
jc/bisimilarAbstraction
April 15, 2024 09:17 16m 41s
JuliaCon paper submission CI #629: Pull request #343 synchronize by adrienbanse
April 5, 2024 19:11 14m 26s ab/paper
ab/paper
April 5, 2024 19:11 14m 26s
JuliaCon paper submission CI #628: Pull request #343 synchronize by adrienbanse
April 5, 2024 19:04 13m 25s ab/paper
ab/paper
April 5, 2024 19:04 13m 25s
JuliaCon paper submission CI #627: Pull request #343 synchronize by JulienCalbert
April 2, 2024 18:11 13m 15s ab/paper
ab/paper
April 2, 2024 18:11 13m 15s
JuliaCon paper submission CI #626: Pull request #343 opened by adrienbanse
April 2, 2024 14:57 12m 50s ab/paper
ab/paper
April 2, 2024 14:57 12m 50s
0.1.0 -> 0.1.1 (#342) CI #625: Commit 436f554 pushed by adrienbanse
April 1, 2024 15:59 13m 8s master
master
April 1, 2024 15:59 13m 8s
0.1.0 -> 0.1.1 CI #624: Pull request #342 opened by adrienbanse
April 1, 2024 15:36 12m 58s adrienbanse-patch-2
adrienbanse-patch-2
April 1, 2024 15:36 12m 58s
NaiveAbstraction renaming (#341) CI #623: Commit 993cce6 pushed by JulienCalbert
March 30, 2024 13:22 13m 0s master
master
March 30, 2024 13:22 13m 0s
NaiveAbstraction renaming CI #622: Pull request #341 synchronize by adrienbanse
March 29, 2024 12:46 12m 57s ab/abs_naming
ab/abs_naming
March 29, 2024 12:46 12m 57s
NaiveAbstraction renaming CI #621: Pull request #341 opened by adrienbanse
March 29, 2024 08:18 13m 7s ab/abs_naming
ab/abs_naming
March 29, 2024 08:18 13m 7s