Skip to content

Actions: DistCompiler/pgo

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
136 workflow runs
136 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
autoformatting CI #435: Commit 8ac3d9b pushed by fhackett
14m 53s main
main
14m 53s
minor tweak to Dockerfile CI #434: Commit a365c72 pushed by fhackett
15m 28s main
main
15m 28s
possibly fix javaFX modules CI #433: Commit 8988e3a pushed by fhackett
16m 25s main
main
16m 25s
debug and correct parallel TLC CI #432: Commit daece50 pushed by fhackett
16m 6s main
main
16m 6s
small instruction fix CI #431: Commit 7d694af pushed by fhackett
15m 59s main
main
15m 59s
rename setbench, add README CI #430: Commit 92999f1 pushed by fhackett
16m 6s main
main
16m 6s
Merge pull request #265 from AnzheXue/concurrentqueue CI #429: Commit d750452 pushed by fhackett
15m 47s main
main
15m 47s
Add concurrentqueue TLA+ specification CI #428: Pull request #265 opened by AnzheXue
16m 34s AnzheXue:concurrentqueue
AnzheXue:concurrentqueue
16m 34s
rename omnilink, build changes CI #427: Commit 2f245ad pushed by fhackett
16m 27s main
main
16m 27s
WIP tracelink, build changes CI #426: Commit 19447f5 pushed by fhackett
15m 34s main
main
15m 34s
Merge pull request #264 from DistCompiler/em-no-cs CI #425: Commit 8c99c85 pushed by fhackett
17m 36s main
main
17m 36s
[tracelink] add missing "no critical sections" patch CI #424: Pull request #264 synchronize by fhackett
17m 41s em-no-cs
em-no-cs
17m 41s
[tracelink] add missing "no critical sections" patch CI #423: Pull request #264 synchronize by fhackett
1m 17s em-no-cs
em-no-cs
1m 17s
Merge branch 'main' of github.com:DistCompiler/pgo CI #422: Commit 96751bc pushed by fhackett
17m 11s main
main
17m 11s
[tracelink] add missing "no critical sections" patch CI #421: Pull request #264 synchronize by kewbish
1m 19s em-no-cs
em-no-cs
1m 19s
[tracelink] add missing "no critical sections" patch CI #420: Pull request #264 opened by kewbish
16m 22s em-no-cs
em-no-cs
16m 22s
Merge pull request #263 from sepehr541/patch-5 CI #419: Commit 53448ab pushed by fhackett
17m 36s main
main
17m 36s
Add the @ character as an operator for current field value of record CI #418: Pull request #263 opened by sepehr541
17m 55s sepehr541:patch-5
sepehr541:patch-5
17m 55s
Merge pull request #262 from sepehr541/patch-4 CI #417: Commit 71ddd01 pushed by fhackett
18m 8s main
main
18m 8s
Update README.md for pygments lexer for Overleaf CI #416: Pull request #262 synchronize by sepehr541
18m 2s sepehr541:patch-4
sepehr541:patch-4
18m 2s
Update README.md for pygments lexer for Overleaf CI #415: Pull request #262 synchronize by sepehr541
18m 20s sepehr541:patch-4
sepehr541:patch-4
18m 20s
Update README.md for pygments lexer for Overleaf CI #414: Pull request #262 opened by sepehr541
17m 57s sepehr541:patch-4
sepehr541:patch-4
17m 57s
Merge pull request #261 from sepehr541/patch-3 CI #413: Commit 16bdaa1 pushed by fhackett
17m 49s main
main
17m 49s
Add instructions to use pgo as a jar CI #412: Pull request #261 synchronize by sepehr541
17m 41s sepehr541:patch-3
sepehr541:patch-3
17m 41s
Add instructions to use pgo as a jar CI #411: Pull request #261 synchronize by sepehr541
17m 52s sepehr541:patch-3
sepehr541:patch-3
17m 52s