Skip to content

Actions: objectionary/eo-phi-normalizer

Actions

GHC (build, test, haddock)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ghc.yml
892 workflow runs
892 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

406 support enabling/disabling particular atoms GHC (build, test, haddock) #767: Pull request #426 synchronize by deemp
July 10, 2024 14:01 19s 406-support-enablingdisabling-particular-atoms
406-support-enablingdisabling-particular-atoms
July 10, 2024 14:01 19s
406 support enabling/disabling particular atoms GHC (build, test, haddock) #766: Pull request #426 synchronize by deemp
July 10, 2024 13:33 15m 6s 406-support-enablingdisabling-particular-atoms
406-support-enablingdisabling-particular-atoms
July 10, 2024 13:33 15m 6s
406 support enabling/disabling particular atoms GHC (build, test, haddock) #765: Pull request #426 synchronize by deemp
July 10, 2024 12:57 1h 13m 28s 406-support-enablingdisabling-particular-atoms
406-support-enablingdisabling-particular-atoms
July 10, 2024 12:57 1h 13m 28s
406 support enabling/disabling particular atoms GHC (build, test, haddock) #764: Pull request #426 synchronize by deemp
July 10, 2024 12:46 16m 4s 406-support-enablingdisabling-particular-atoms
406-support-enablingdisabling-particular-atoms
July 10, 2024 12:46 16m 4s
406 support enabling/disabling particular atoms GHC (build, test, haddock) #763: Pull request #426 synchronize by deemp
July 10, 2024 12:44 2m 7s 406-support-enablingdisabling-particular-atoms
406-support-enablingdisabling-particular-atoms
July 10, 2024 12:44 2m 7s
406 support enabling/disabling particular atoms GHC (build, test, haddock) #762: Pull request #426 synchronize by deemp
July 10, 2024 11:34 24m 26s 406-support-enablingdisabling-particular-atoms
406-support-enablingdisabling-particular-atoms
July 10, 2024 11:34 24m 26s
406 support enabling/disabling particular atoms GHC (build, test, haddock) #761: Pull request #426 synchronize by deemp
July 5, 2024 16:05 11m 38s 406-support-enablingdisabling-particular-atoms
406-support-enablingdisabling-particular-atoms
July 5, 2024 16:05 11m 38s
406 support enabling/disabling particular atoms GHC (build, test, haddock) #760: Pull request #426 synchronize by deemp
July 5, 2024 15:51 21s 406-support-enablingdisabling-particular-atoms
406-support-enablingdisabling-particular-atoms
July 5, 2024 15:51 21s
Experiment with closure of objects GHC (build, test, haddock) #759: Pull request #421 synchronize by fizruk
July 5, 2024 05:04 59m 20s delayed-substitutions
delayed-substitutions
July 5, 2024 05:04 59m 20s
406 support enabling/disabling particular atoms GHC (build, test, haddock) #758: Pull request #426 opened by deemp
July 1, 2024 18:16 11m 6s 406-support-enablingdisabling-particular-atoms
406-support-enablingdisabling-particular-atoms
July 1, 2024 18:16 11m 6s
chore(deps): update baptiste0928/cargo-install action to v3.1.1 GHC (build, test, haddock) #757: Pull request #424 opened by renovate bot
June 24, 2024 16:25 11m 8s renovate/baptiste0928-cargo-install-3.x
renovate/baptiste0928-cargo-install-3.x
June 24, 2024 16:25 11m 8s
Experiment with closure of objects GHC (build, test, haddock) #756: Pull request #421 opened by fizruk
June 21, 2024 11:19 44m 22s delayed-substitutions
delayed-substitutions
June 21, 2024 11:19 44m 22s
Merge pull request #418 from objectionary/update-rules GHC (build, test, haddock) #755: Commit d2f83a0 pushed by fizruk
June 21, 2024 11:14 24m 52s master
master
June 21, 2024 11:14 24m 52s
Merge pull request #419 from objectionary/generalize-Phi-dispatch GHC (build, test, haddock) #754: Commit 0b0a3ae pushed by fizruk
June 21, 2024 11:13 25m 24s master
master
June 21, 2024 11:13 25m 24s
Merge pull request #420 from objectionary/update-decoration-rule GHC (build, test, haddock) #753: Commit a65e233 pushed by fizruk
June 21, 2024 11:13 26m 29s master
master
June 21, 2024 11:13 26m 29s
Update decoration rule GHC (build, test, haddock) #752: Pull request #420 opened by eyihluyc
June 18, 2024 16:26 12m 18s update-decoration-rule
update-decoration-rule
June 18, 2024 16:26 12m 18s
Generalize Φ-dispatch to rewrite Φ instead of Φ.a GHC (build, test, haddock) #751: Pull request #419 opened by eyihluyc
June 17, 2024 15:20 12m 21s generalize-Phi-dispatch
generalize-Phi-dispatch
June 17, 2024 15:20 12m 21s
Align reductions from application to ⊥ with the paper GHC (build, test, haddock) #750: Pull request #418 opened by eyihluyc
June 17, 2024 13:58 12m 43s update-rules
update-rules
June 17, 2024 13:58 12m 43s
Merge pull request #413 from objectionary/410-release-v041 GHC (build, test, haddock) #749: Commit b4a1681 pushed by deemp
June 13, 2024 09:07 11m 39s v0.4.1
v0.4.1
June 13, 2024 09:07 11m 39s
Merge pull request #413 from objectionary/410-release-v041 GHC (build, test, haddock) #748: Commit b4a1681 pushed by deemp
June 13, 2024 09:05 14m 30s master
master
June 13, 2024 09:05 14m 30s
Release v0.4.1 GHC (build, test, haddock) #747: Pull request #413 synchronize by deemp
June 13, 2024 07:37 13m 8s 410-release-v041
410-release-v041
June 13, 2024 07:37 13m 8s
Release v0.4.1 GHC (build, test, haddock) #746: Pull request #413 synchronize by deemp
June 13, 2024 07:32 11m 36s 410-release-v041
410-release-v041
June 13, 2024 07:32 11m 36s
Merge pull request #412 from objectionary/411-fix-report-directory GHC (build, test, haddock) #745: Commit daed1cd pushed by fizruk
June 13, 2024 06:41 14m 22s master
master
June 13, 2024 06:41 14m 22s
Release v0.4.1 GHC (build, test, haddock) #744: Pull request #413 synchronize by deemp
June 12, 2024 19:54 14m 14s 410-release-v041
410-release-v041
June 12, 2024 19:54 14m 14s
Release v0.4.1 GHC (build, test, haddock) #743: Pull request #413 opened by deemp
June 12, 2024 19:52 15m 13s 410-release-v041
410-release-v041
June 12, 2024 19:52 15m 13s