Skip to content

Actions: harp-project/Core-Erlang-Formalization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Docker CI Docker CI #73: Scheduled
18m 39s master
master
18m 39s
Docker CI Docker CI #72: Scheduled
18m 54s master
master
18m 54s
Docker CI Docker CI #71: Scheduled
18m 37s master
master
18m 37s
Docker CI Docker CI #70: Scheduled
18m 48s master
master
18m 48s
Small changes to the interpreter + Arsenii's graph viewer Docker CI #69: Pull request #57 synchronize by ArsenChick
18m 44s EEF_Grant
EEF_Grant
18m 44s
Small changes to the interpreter + Arsenii's graph viewer Docker CI #68: Pull request #57 synchronize by ArsenChick
18m 46s EEF_Grant
EEF_Grant
18m 46s
Docker CI Docker CI #67: Scheduled
18m 54s master
master
18m 54s
Gergo symbolic - draft pull request for the thesis Docker CI #66: Pull request #58 synchronize by MTLEVR
19m 2s gergo_symbolic
gergo_symbolic
19m 2s
Gergo symbolic - draft pull request for the thesis Docker CI #65: Pull request #58 synchronize by MTLEVR
18m 43s gergo_symbolic
gergo_symbolic
18m 43s
Gergo symbolic - draft pull request for the thesis Docker CI #64: Pull request #58 synchronize by MTLEVR
18m 38s gergo_symbolic
gergo_symbolic
18m 38s
Docker CI Docker CI #63: Scheduled
18m 23s master
master
18m 23s
Gergo symbolic - draft pull request for the thesis Docker CI #62: Pull request #58 opened by MTLEVR
19m 32s gergo_symbolic
gergo_symbolic
19m 32s
Docker CI Docker CI #61: Scheduled
18m 39s master
master
18m 39s
Docker CI Docker CI #60: Scheduled
18m 18s master
master
18m 18s
Merge pull request #45 from harp-project/david-labled-termination Docker CI #59: Commit 0560539 pushed by berpeti
19m 53s master
master
19m 53s
Labelled termination Docker CI #58: Pull request #45 synchronize by berpeti
18m 44s david-labled-termination
david-labled-termination
18m 44s
Labelled termination Docker CI #57: Pull request #45 synchronize by berpeti
5m 1s david-labled-termination
david-labled-termination
5m 1s
Docker CI Docker CI #56: Scheduled
18m 32s master
master
18m 32s
Small changes to the interpreter + Arsenii's graph viewer Docker CI #55: Pull request #57 opened by MTLEVR
18m 32s EEF_Grant
EEF_Grant
18m 32s
Labelled termination Docker CI #54: Pull request #45 synchronize by berpeti
4m 32s david-labled-termination
david-labled-termination
4m 32s
Proven-correct optimisation of do expressions Docker CI #53: Pull request #56 synchronize by berpeti
18m 48s seq-optim
seq-optim
18m 48s
Docker CI Docker CI #52: Scheduled
18m 10s master
master
18m 10s
Proven-correct optimisation of do expressions Docker CI #51: Pull request #56 opened by berpeti
18m 15s seq-optim
seq-optim
18m 15s
Docker CI Docker CI #50: Scheduled
18m 10s master
master
18m 10s
Labelled termination Docker CI #49: Pull request #45 synchronize by davidhadhazi
3m 44s david-labled-termination
david-labled-termination
3m 44s