Skip to content

Actions: objectionary/normalizer

Actions

GHC (build, test, haddock)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ghc.yml
761 workflow runs
761 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
406 support enablingdisabling 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 enablingdisabling 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 enablingdisabling 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
411 Fix report directory GHC (build, test, haddock) #742: Pull request #412 synchronize by deemp
June 12, 2024 17:41 15m 21s 411-fix-report-directory
411-fix-report-directory
June 12, 2024 17:41 15m 21s
411 Fix report directory GHC (build, test, haddock) #741: Pull request #412 opened by deemp
June 12, 2024 17:38 12m 53s 411-fix-report-directory
411-fix-report-directory
June 12, 2024 17:38 12m 53s
Merge pull request #385 from objectionary/renovate/prettier-3.x-lockfile GHC (build, test, haddock) #740: Commit f0ceb9c pushed by fizruk
June 12, 2024 10:20 14m 39s master
master
June 12, 2024 10:20 14m 39s
Merge pull request #401 from objectionary/update-rules GHC (build, test, haddock) #739: Commit b7f0e8a pushed by fizruk
June 12, 2024 10:18 11m 41s master
master
June 12, 2024 10:18 11m 41s
Merge pull request #402 from objectionary/383-fix-job-summary GHC (build, test, haddock) #738: Commit 16285e7 pushed by fizruk
June 12, 2024 10:17 13m 33s master
master
June 12, 2024 10:17 13m 33s
chore(deps): update dependency prettier to v3.3.2 GHC (build, test, haddock) #737: Pull request #385 synchronize by renovate bot
June 11, 2024 08:06 10m 56s renovate/prettier-3.x-lockfile
renovate/prettier-3.x-lockfile
June 11, 2024 08:06 10m 56s