Skip to content

Actions: kaist-plrg/simcrat

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

no panic in parse_signature
CI #146: Commit 84ad413 pushed by Medowhill
August 5, 2024 07:31 5m 4s master
August 5, 2024 07:31 5m 4s
handle no primary
CI #145: Commit adf3a7c pushed by Medowhill
August 5, 2024 06:20 5m 6s master
August 5, 2024 06:20 5m 6s
fix free type resolution
CI #144: Commit 92f46ab pushed by Medowhill
August 2, 2024 11:56 4m 54s master
August 2, 2024 11:56 4m 54s
Copy -> MyCopy
CI #143: Commit 657e5d4 pushed by Medowhill
August 2, 2024 06:37 4m 36s master
August 2, 2024 06:37 4m 36s
push in_data only when not substituted already
CI #142: Commit e01b5ce pushed by Medowhill
August 2, 2024 06:35 5m 21s master
August 2, 2024 06:35 5m 21s
delay showing program size
CI #141: Commit cbd8f12 pushed by Medowhill
July 22, 2024 02:48 5m 8s master
July 22, 2024 02:48 5m 8s
minor fixes
CI #140: Commit 6fb03c0 pushed by Medowhill
July 21, 2024 15:22 5m 9s master
July 21, 2024 15:22 5m 9s
remove cyclic global variable
CI #139: Commit 50619d2 pushed by Medowhill
July 21, 2024 14:51 4m 54s master
July 21, 2024 14:51 4m 54s
handle prompt failure
CI #138: Commit 02c1552 pushed by Medowhill
July 20, 2024 08:55 4m 57s master
July 20, 2024 08:55 4m 57s
show types
CI #137: Commit 3973cfc pushed by Medowhill
July 19, 2024 13:17 4m 45s master
July 19, 2024 13:17 4m 45s
show more about errors
CI #136: Commit 05d525f pushed by Medowhill
July 19, 2024 11:22 5m 20s master
July 19, 2024 11:22 5m 20s
precise error measurement
CI #135: Commit afb176d pushed by Medowhill
July 12, 2024 05:49 5m 58s master
July 12, 2024 05:49 5m 58s
fix: rename return, collect proto deps, variadic
CI #134: Commit 438ac33 pushed by Medowhill
July 10, 2024 13:12 5m 31s master
July 10, 2024 13:12 5m 31s
translate all functions
CI #133: Commit 6eb6a03 pushed by Medowhill
July 7, 2024 06:23 5m 9s master
July 7, 2024 06:23 5m 9s
update readme
CI #132: Commit 5a7c93c pushed by Medowhill
March 11, 2024 14:23 5m 6s master
March 11, 2024 14:23 5m 6s