Skip to content

Actions: NakajoLab/B4SMT

Actions

scala-CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
119 workflow runs
119 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add P Extension
scala-CI #287: Pull request #122 synchronize by pineapplehunter
April 17, 2024 00:39 24m 24s pext
April 17, 2024 00:39 24m 24s
fix test
scala-CI #286: Commit 41210ec pushed by pineapplehunter
April 17, 2024 00:39 23m 58s pext
April 17, 2024 00:39 23m 58s
Add P Extension
scala-CI #285: Pull request #122 synchronize by pineapplehunter
April 17, 2024 00:27 3m 45s pext
April 17, 2024 00:27 3m 45s
Merge remote-tracking branch 'origin/main' into pext
scala-CI #284: Commit a2e9a93 pushed by pineapplehunter
April 17, 2024 00:27 3m 50s pext
April 17, 2024 00:27 3m 50s
update ci
scala-CI #283: Commit eafca74 pushed by pineapplehunter
April 14, 2024 08:48 1m 47s pext
April 14, 2024 08:48 1m 47s
update ci add more upload from ci
scala-CI #282: Commit e703ef4 pushed by pineapplehunter
April 13, 2024 19:01 23m 49s pext
April 13, 2024 19:01 23m 49s
Update README.md
scala-CI #281: Commit 58014ef pushed by pineapplehunter
April 10, 2024 07:53 1m 54s pext
April 10, 2024 07:53 1m 54s
update ci workflow
scala-CI #280: Commit b3f619a pushed by pineapplehunter
April 9, 2024 11:49 23m 53s pext
April 9, 2024 11:49 23m 53s
refactor nix files
scala-CI #279: Commit c9fb759 pushed by pineapplehunter
April 9, 2024 11:45 26m 18s pext
April 9, 2024 11:45 26m 18s
update flake lock
scala-CI #278: Commit 8491c35 pushed by pineapplehunter
April 4, 2024 03:59 31m 52s pext
April 4, 2024 03:59 31m 52s
fix tests
scala-CI #277: Commit 5c67685 pushed by pineapplehunter
April 3, 2024 10:31 24m 21s pext
April 3, 2024 10:31 24m 21s
update nix hash
scala-CI #276: Commit fb2e04e pushed by pineapplehunter
April 3, 2024 01:59 26m 9s pext
April 3, 2024 01:59 26m 9s
format
scala-CI #275: Commit c7fa0eb pushed by pineapplehunter
April 3, 2024 01:53 23m 37s pext
April 3, 2024 01:53 23m 37s
update checks
scala-CI #274: Commit c09a42e pushed by pineapplehunter
April 3, 2024 01:47 24m 33s pext
April 3, 2024 01:47 24m 33s
fix instruction cache issue
scala-CI #272: Commit 8fb389f pushed by pineapplehunter
March 28, 2024 04:30 31m 55s pext
March 28, 2024 04:30 31m 55s
fix flake
scala-CI #271: Commit f97b596 pushed by pineapplehunter
March 20, 2024 18:25 24m 28s pext
March 20, 2024 18:25 24m 28s
update flake.nix hash
scala-CI #270: Commit 109b95c pushed by pineapplehunter
March 20, 2024 18:07 24m 53s pext
March 20, 2024 18:07 24m 53s
fix formal test issue
scala-CI #269: Commit c1f285d pushed by pineapplehunter
March 20, 2024 16:46 23m 46s main
March 20, 2024 16:46 23m 46s
fix nix issues
scala-CI #268: Commit 691ca8d pushed by pineapplehunter
March 20, 2024 16:33 5m 25s main
March 20, 2024 16:33 5m 25s
fix more testing
scala-CI #267: Commit a0a826a pushed by pineapplehunter
March 20, 2024 15:52 24m 13s pext
March 20, 2024 15:52 24m 13s
Update README.md
scala-CI #266: Commit e8b55f5 pushed by pineapplehunter
March 20, 2024 15:51 2m 49s main
March 20, 2024 15:51 2m 49s
formatting
scala-CI #265: Commit 6ee9420 pushed by pineapplehunter
March 20, 2024 14:52 24m 28s pext
March 20, 2024 14:52 24m 28s
scala-CI
scala-CI #264: by pineapplehunter
March 20, 2024 14:36 31m 7s pext
March 20, 2024 14:36 31m 7s